CantripOS 是一个面向环境机器学习应用的低功耗安全嵌入式操作系统，它运行在 seL4 之上并且几乎完全用 Rust 编写。 CantripOS 据悉是可能是由 KataOS 更名而来。

最近 Google 关于操作系统的新闻又来了，谷歌的 AmbiML 团队最近开源了 KataOS，这是一个用于嵌入式机器学习硬件的可证明安全的操作系统。 KataOS 基于 seL4 微内核，并使用 Rust 。

7月7日，Google 在其招聘网站新增一则了 Fuchsia 软件工程师的招聘信息，欢迎感兴趣的社区朋友抓紧投递简历，争取机会。