谷歌宣布推出 Rust 开发的 KataOS 操作系统 谷歌本周宣布发布 KataOS，它是用于进行机器学习的嵌入式设备的操作系统。KataOS 从设计上就具备安全考虑，不但几乎完全是由 Rust 实现的，而且是建立在 seL4 微内核的基础之上，seL4 在数学上被证明是安全的，具有保证保密性、完整性和可用性。 消息来源：谷歌 老王点评：谷歌的操作系统之心不死啊，时不时的就发布一个操作系统，然而