文件名称：seL4:seL4微内核
文件大小：1.62MB
文件格式：ZIP
更新时间：2024-05-31 07:55:04
os microkernel sel4 sel4-microkernel C
seL4微内核 该项目包含seL4微内核的源代码。 有关seL4微内核的详细信息，包括其形式正确性证明的详细信息，请访问网站和相关的 。 引用此存储库的最新版本的DOI： 我们欢迎对seL4的贡献。 请访问该网站以获取有关。 通常不会孤立地使用此存储库，而是将其作为较大项目中构建系统的一部分。 seL4基础 社区 邮件列表 seL4宣布 seL4开发 建议项目 社区项目 手动的 您可以在此处找到最新版本的手册的托管版本。 可在此处找到API的网络版本 资料库概述 include和src ：seL4的C和ASM源代码 tools ：构建工具 libsel4 ：seL4 ABI的C绑定 manual ：seL4参考手册的LaTeX来源 制作说明 有关构建说明，请参见seL4网站。 地位 在seL4版本下可以找到版本列表和当前项目状态。 路线图：开发中的新功能 硬件支持：有关