3 ms·

seL4[0] being the formally-proven modern representative. 0. https://sel4.systems/ https://sel4.systems/

• saidnooneever 4mo ago
  sel4 is neat. and open source. there are many like it proprietary.
  • snvzz 4mo ago
    I am not aware of any microkernel actually competitive with seL4, open or else.
    • saidnooneever 4mo ago
      seen some, i could tell u but then i'd have to... :-) (go to jail)