A simple operating system kernel written in C.