seL4[0] being the formally-proven modern representative.
0. https://sel4.systems/
sel4 is neat. and open source. there are many like it proprietary.
I am not aware of any microkernel actually competitive with seL4, open or else.
sel4 is neat. and open source. there are many like it proprietary.
I am not aware of any microkernel actually competitive with seL4, open or else.