背景介绍: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 。
CantripOS 目前10篇文档都已经翻译完成或者在翻译,为了方便查阅,现汇总如下,并持续更新:
CantripOS 中文文档索引:
- CantripOS 上手:开始使用 git-repo 并构建系统
- CantripOS 上手2:CantripOS 软件组织结构
- CantripOS 上手3:目标架构依赖
- CantripOS 上手4:目标平台依赖
- CantripOS 上手5:测试支持
- CantripOS上手6:内存占用
- CantripOS 上手7:CantripOS 的 capDL 根服务器应用程序
- CantripOS上手8:依赖CantripOS的Rust crates
其中第1篇由 Maxim 翻译,第2篇由 Chineek 翻译,第3-8篇由 Lyrance 翻译,感谢所有贡献者!