a simple microkernel written in C