Kernel development environment - View it on GitHub