The benchmark for performance.

The world's most highly assured OS kernel.

Open source & community-supported under the seL4 Foundation.

What is seL4? The world’s most high-assured operating system kernel

seL4 Foundation Open source foundation for seL4 and its ecosystem. Want to join?

Stay in touch Mailing lists, blog, contacts, chat

Contribute Contributing code, documentation, proofs

Use Build or retrofit your product to run on seL4

Learn Tutorials, documentation, courses

Want to support? Funding the next big steps for the seL4 project

The seL4 Trademark Compliance rules and promoting the brand