A small monolithic kernel written in C