CantripOS 简介:麻雀计划 Project Sparrow

Sparrow 是一个为 Ambient ML(AmbiML, Google 子公司) 应用程序构建低功耗安全嵌入式平台的项目,Sparrow 使用了很多来自 RISC-V 和 OpenTitan 这两个开源项目的成果。

Sparrow 软件包括一个名为 CantripOS 的操作系统,它运行在 seL4 之上并且几乎完全用 Rust 编写。 CantripOS 由一组使用 CAmkES 封装的系统服务和动态加载到 seL4 线程上下文中的应用程序组成,并通过 SDK 运行时环境与系统服务进行通信。

封装 CantripOS 系统服务的 CAmkES 项目可以在 CantripOS 的 Github 仓库中找到。它不在 seL4 源代码仓库中,因为它包含不打算提交到到上游 seL4 。

上面文字在借助 Google 的情况下快速翻译的,不妥之处多多见谅。软件仓库地址如下

感谢介绍,关注中