seL4

The seL4® Microkernel

Security is no excuse for bad performance

The benchmark for performance.
The world's most highly assured OS kernel.
Open source & community-supported under the seL4 Foundation.
News
  • 11 Nov 2022: The videos and slides of the seL4 summit 2022 are available online
  • 21 Oct 2022: G’Day KataOS
  • 7 Oct 2022: Thanks Xcalibyte for sponsoring the seL4 Summit 2022
  • more...
seL4
What is seL4?
The world’s most high-assured operating system kernel
seL4 Foundation
seL4 Foundation
Open source foundation for seL4 and its ecosystem. Want to join?
Contacts
Stay in touch
Mailing lists, blog, contacts, chat
Contribute
Contribute
Contributing code, documentation, proofs
seL4 quadcopter
Use
Build or retrofit your product to run on seL4
Learn
Learn
Tutorials, documentation, courses
Support
Want to support?
Funding the next big steps for the seL4 project
Branding
The seL4 Trademark
Compliance rules and promoting the brand
seL4 Summit
seL4 Summit
The annual summit organised by the seL4 Foundation.
More info
Want to know more?
Research, roadmap, FAQ