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組件

執照

請參閱文件許可證。