A simple kernel written in C