✳flâneur — a map of the web's best reading

Home | seL4

sel4.systems · 1,003 words · saved by 1 readers

Home What is seL4? seL4 Foundation Stay in Touch Contribute Use Learn More Info News 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 29 Jan 2024: seL4 features in the Linux Foundation’s 2023 Annual report 22 Dec 2023: HACMS receives Game Changer award from DARPA leadership 24 Nov 2023: NIO announces seL4-based SkyOS operating system more... 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 Commercial Support Endorsed service providers for seL4 Use Build or retrofit your product to run on seL4 Learn Tutorials, documentation, courses Support seL4 Funding the next big steps for the seL4 project The seL4 Trademark Compliance rules and promoting the brand seL4 Summit The annual summit or

The seL4 Microkernel | seL4 The world's most highly assured and fastest operating system kernel Learn more about seL4 Start developing Award-winning technology backed by ground-breaking research seL4 is both the world's most highly assured and the world's fastest operating system kernel. Its uniqueness lies in the formal mathematical proof that it behaves exactly as specified, enforcing strong security boundaries for applications running on top of it while maintaining the high performance that deployed systems need. seL4 is grounded in research breakthroughs across multiple science disciplines

Explore this link on the map →

saved by

related reading