谷歌宣布推出 Rust 开发的 KataOS 操作系统谷歌本周宣布发布 KataOS，它是用于进行机器学习的嵌入式设备的操作系统。KataOS 从设计上就具备安全考虑，不但几乎完全是由 Rust 实现的，而且是建立在 seL4 微内核的基础之上，seL4 在数学上被证明是安全的，具有保证保密性、完整
2024-07-16