A kernel written in C/asm