Hacker News new | ask | show | jobs
by snvzz 2 days ago
seL4[0] being the formally-proven modern representative.

0. https://sel4.systems/
1 comments
saidnooneever 2 days ago
sel4 is neat. and open source. there are many like it proprietary.
link
snvzz 1 day ago
I am not aware of any microkernel actually competitive with seL4, open or else.
link
saidnooneever 1 day ago
seen some, i could tell u but then i'd have to... :-) (go to jail)
link