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