A simple kernel written in C - View it on GitHub