G github.com Fully Dockerized Linux kernel debugging environment 190 points 0x41534446 4 years ago 44 comments