Sparrow是一个为AmbietML应用程序构建低功耗安全嵌入式平台的项目。目标平台利用 RISC-V 和 OpeTita。Sparrow软件包括一个名为KataOS的本土操作系统，它运行在seL4之上，并且（忽略seL4内核）几乎完全用Rust编写。
Sparrow（和KataOS）是一项正在进行的工作。KataOS组件基于seL4的 CAmkES框架的增强版本。关键系统服务是静态配置的CAmkES组件。应用程序是使用专注于AmbiML的SDK开发的，并由系统服务动态加载。[最初，Sparrow存储库仅包含用于开发seL4/CAmkES组件的Rust框架。以后的版本将共享KataOSservices，包括支持应用程序动态操作的MemoryMaager和ProcessMaager。]Sparrow由多个git仓库组成，这些存储库与repo工具拼接在一起。以下git仓库当前可用：camkes-tool :seL4的camkes-tool存储库，增加了支持KataOS服务的功能capdl :seL4的capdl存储库，添加了KataOS服务和KataOS根服务器（替代capdl-loader-app，用Rust编写并支持将系统资源移交给KataOSMemoryMaager服务）kerel :seL4的内核，带有用于Sparrow的RISC-V平台的驱动程序，并支持回收KataOS根服务器使用的内存用于在Rust中开发的kata 框架，以及（最终）KataOS系统服务scripts：支持scripts，包括build-sparrow.sh
点击空白处退出提示
评论