seL4^{^®}微核

安全不是表现不佳的借口

性能基准。
世界上最可靠的操作系统内核。
seL4基金会支持开源和社区。

2024年4月29日：苹果加入seL4基金会
2024年4月19日：证明AArch64的功能正确性
2024年2月19日：为2024年4月4日峰会征集演讲稿
更多。。。

什么是seL4？

世界上最可靠的操作系统内核

seL4基础

seL4及其生态系统的开源基金会。想加入吗？

保持联系

邮件列表、博客、联系人、聊天

商业支持

认可的seL4服务提供商

seL4四旋翼机

使用

构建或改造您的产品以在seL4上运行

学习

教程、文档、课程

支持seL4

为seL4项目的下一个重大步骤提供资金

seL4商标

合规规则和品牌推广

seL4峰会

由seL4基金会组织的年度峰会。

贡献

贡献代码、文档、证明

更多信息

想知道更多吗？

研究、路线图、常见问题解答