2 ms·There is seL4 http://sel4.systems/ http://sel4.systems/by Symmetry 12y agoThere is seL4 http://sel4.systems/ http://sel4.systems/