seL4_tools:构建seL4项目的基本工具

【文件属性】：

文件名称：seL4_tools:构建seL4项目的基本工具

文件大小：249KB

文件格式：ZIP

更新时间：2024-04-14 07:53:38

sel4 C

seL4_tools 提供用于构建seL4项目的工具。 还收集用于样式检查的通用配置和工具。 ：加载arm内核。 ：大多数构建系统。 ：其他各种工具，包括代码样式检查。 贡献 欢迎捐款！ 有关更多信息，请参见文件。