I wonder how it compares with seL4 (http://sel4.systems/) which is verified, open source, "bare metal" and designed for minimality, security and performance.