seL4
seL4 is a high-assurance, high-performance microkernel developed and formally verified by the Trustworthy Systems Group at Data61.
It is the world’s most advanced, highest-assured operating-system microkernel.
seL4 is open source and available for free download.
Previous post:
Coming up next: