[egoregorov]

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

[pjmlp]

Minix did certainly take off, at least for Intel.