新闻
AI、RISC-V、Rust、机器学习、形式验证! 一个几乎集齐前沿热门关键字的 Google 实验性操作系统：CantripOS
CantripOS 是一个面向环境机器学习应用的低功耗安全嵌入式操作系统，它运行在 seL4 之上并且几乎完全用 Rust 编写。 CantripOS 据悉是可能是由 KataOS 更名而来。
