8
Home | seL4
source link: https://sel4.systems/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Home | 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.
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
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
Want to know more?
Research, roadmap, FAQ
Copyright © 2020 seL4 Project a Series of LF Projects, LLC.
seL4 is a trademark of LF Projects, LLC.
For trademark usage guidelines, privacy and cookie policies, and other applicable policies, as well as terms and conditions governing this web site, please see www.lfprojects.org and the trademark guidelines.
seL4 is a trademark of LF Projects, LLC.
For trademark usage guidelines, privacy and cookie policies, and other applicable policies, as well as terms and conditions governing this web site, please see www.lfprojects.org and the trademark guidelines.
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK