It's open source -- feel free to clone from github and hack away! Not quite sure that anything could be called a Kernel by any measure, but there's certainly a

It's open source -- feel free to clone from github and hack away! Not quite sure that anything could be called a Kernel by any measure, but there's certainly a lot of stuff in there. Oh, and I apologize in advance for your loss of brain cells. Some of that code is around seven years old.