fast small microkernel