On: NSA director: 'Mythos "broke into almost all of our classified systems in hours"

[saidnooneever]

sel4 is neat. and open source. there are many like it proprietary.

[snvzz → saidnooneever]

I am not aware of any microkernel actually competitive with seL4, open or else.

[saidnooneever → snvzz]

seen some, i could tell u but then i'd have to... :-) (go to jail)