Yet another microkernel