A toy kernel written in C