奇客 Google 宣布安全操作系统 KataOS 及其实现 Sparrow

Google 宣布了新操作系统 KataOS 及其参考实现 Sparrow，搜索巨人旨在创造一种安全的嵌入式系统。项目源代码托管在 GitHub 上，采用 Apache License 2.0 许可证。Google 称我们身边的智能设备愈来愈多，因此需要一种简单的方案为嵌入式硬件构建可验证的安全系统。它的新操作系统 KataOS 使用了 seL4 微内核，它已经在数学上被证明是安全的。系统几乎完全用 Rust 语言实现，核心部分包括包括提供系统调用 API 的 sel4-sys crate，替代 rootserver 等。Google 还与 Antmicro 合作开发了模拟器 Renode。