Skip to main content

seL4

Posted by: data61

February 9, 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.