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