What is seL4?A high-assurance, high-performance operating system microkernel
seL4 is unique because of its comprehensive formal verification.
seL4 is open source, available on GitHub, and supported by the seL4 Foundation.
The foundation for trustworthy systems.
White Paper
More in-depth information about seL4, what the formal
verification means, and how to use seL4.