Kēki is a simple C kernel.