Fully dockerized Linux kernel debugging environment - View it on GitHub