[snvzz]

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

[saidnooneever]

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