3 ms·
I wonder how it compares with seL4 (http://sel4.systems/ http://sel4.systems/) which is verified, open source, "bare metal" and designed for minimality, securit
by deadgrey19 12y ago
I wonder how it compares with seL4 (http://sel4.systems/ http://sel4.systems/) which is verified, open source, "bare metal" and designed for minimality, security and performance.