KataOS 似乎已经悄悄更名为 CantripOS

[libre]

可以参考这个：

CantripOS 简介：麻雀计划 Project Sparrow

Sparrow 是一个为 Ambient ML(AmbiML, Google 子公司） 应用程序构建低功耗安全嵌入式平台的项目，Sparrow 使用了很多来自 RISC-V 和 OpenTitan 这两个开源项目的成果。 Sparrow 软件包括一个名为 CantripOS 的操作系统，它运行在 seL4 之上并且几乎完全用 Rust 编写。 CantripOS 由一组使用 CAmkES 封装的…