microkernel, that's good. i know of redox, minix also use microkernel but did not 'take off'