seL4基于feL4配置构建，并通过libsel4-sys生成Rust绑定

libsel4-sys 概述 根据feL4清单配置，构建sel4内核并在其周围生成Rust绑定。 该库在周围提供了较薄的Rust绑定; 其他包装箱中将提供更多用于包装功能的惯用型Rust包装纸。 打算在由管理的项目中使用，请参阅该资料库以获取入门资料。 入门 依存关系 libsel4-sys使用git子模块在本地提供与seL4相关的代码。 构建seL4代码需要安装几个系统依赖项。 少数Rust依赖项由Cargo.toml管理，因此需要Cargo以及用于交叉编译的Xargo。 Rustup是推荐的Rust工具链管理器。 （每晚） （用于交叉编译） （用于ARM目标） （用于seL4的构建） （用于seL4的构建） （用于seL4的构建） （用于seL4的构建） 建造 该项目旨在在cargo fel4命令的上下文中构建，该命令管理与下游项目相关的关键环境变量的传递。