seL4

February 9th, 2015

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.