Kernel programming environment - View it on GitHub