3 ms·

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)