Sparrow manifest为 Ambient ML 应用建立低功率安全嵌入平台

Sparrow 是一个为 Ambient ML 应用程序构建低功耗安全嵌入式平台的项目。目标平台利用 RISC-V 和 OpenTitan。Sparrow 软件包括一个名为 KataOS 的本土操作系统，它运行在seL4之上，并且（忽略 seL4 内核）几乎完全用Rust编写。

Sparrow（和 KataOS）是一项正在进行的工作。KataOS 组件基于 seL4 的 CAmkES 框架的增强版本。关键系统服务是静态配置的 CAmkES 组件。应用程序是使用专注于 AmbiML 的 SDK 开发的，并由系统服务动态加载。

[最初，Sparrow 存储库仅包含用于开发 seL4 / CAmkES 组件的 Rust 框架。以后的版本将共享 KataOS services，包括支持应用程序动态操作的 MemoryManager 和 ProcessManager。]

Sparrow 由多个 git 仓库组成，这些存储库与 repo 工具拼接在一起。以下 git 仓库当前可用：

• camkes-tool : seL4 的 camkes-tool 存储库，增加了支持 KataOS 服务的功能
• capdl : seL4 的 capdl 存储库，添加了 KataOS 服务和 KataOS 根服务器（替代 capdl-loader-app，用 Rust 编写并支持将系统资源移交给 KataOS MemoryManager 服务）
• kernel : seL4 的内核，带有用于 Sparrow 的 RISC-V 平台的驱动程序，并支持回收 KataOS 根服务器使用的内存
• 用于在 Rust 中开发的kata 框架，以及（最终）KataOS 系统服务
• scripts：支持 scripts，包括 build-sparrow.sh