seL4

SEL4微粒

该项目包含SEL4 Microkernel的源代码。

有关SEL4微核的详细信息，包括有关其正式正确性证明的详细信息，请参阅sel4.systems网站和相关的常见问题。

DOI援引了该存储库的最新版本：

我们欢迎对SEL4的贡献。请参阅网站以获取有关如何贡献的信息。

该存储库通常不是孤立使用的，而是作为较大项目中构建系统的一部分。

SEL4基础

• 教程
• 文档
• SEL4库
• SEL4Test
• 调试指南
• 基准指南
• SEL4上的虚拟化
• 主机构建依赖性
• 移植SEL4

社区

• 论坛：
  • 话语
  • SEL4宣布
  • SEL4 DEVEL
• 建议的项目
• 社区项目

有关完整列表，请参见SEL4网站上的联系人链接。

报告安全漏洞

如果您认为自己已经在SEL4或相关软件中找到了安全漏洞，我们要求您遵循我们的漏洞披露政策。

手动的

最新版本的手册的托管版本可以在此处找到。

可以在此处找到API的网络版本

存储库概述

• include和src ：C和ASM SEL4的ASM源代码
• tools ：构建工具
• libsel4 ：s sel4 abi的c绑定
• manual ：SEL4参考手册的乳胶来源

建立说明

请参阅SEL4网站以获取构建说明。

地位

在SEL4版本下可以找到发布和当前项目状态的列表。

• 路线图：开发的新功能
• 硬件支持：有关硬件平台端口的信息
• 内核功能：有关可用内核功能的信息
• Userland组件和驱动程序：可用的设备驱动程序和Userland组件

执照

请参阅文件许可证。