谷歌希望通过推出用于机器学习工具的新操作系统 KataOS 来扩大其在软件行业的份额。

在公司博客文章中描述（在新标签中打开）作为“一个为运行 ML 应用程序的嵌入式设备优化的可证明安全的平台”，KataOS 将与其参考实现 Sparrow 一起运行。

大多数计算机用户将习惯于 Windows 和 macOS 操作系统，而专业用户则只能使用他们最喜欢的Linux 发行版进行更具体的操作。

谷歌发布 KataOS 和 Sparrow

该公司在其公告中表示，随着智能设备变得越来越普遍，能够构建“嵌入式硬件可验证安全系统”的重要性。

谷歌表示，如果无法在数学上证明这些设备能够保证数据的安全，我们的个人身份数据（如图像和录音）可能会面临风险。

尽管“还有很多工作要做”，但谷歌仍然确认了有关即将推出的 KataOS 的一些细节。过去，该公司偏爱 Carbon 和 C++ 编程语言，但根据其相关的GitHub 页面，其新项目“几乎完全用 Rust 编写”（在新标签中打开）.

登记册（在新标签中打开）仔细研究底层的 seL4 微内核，它通常用 C 实现。本文解释了使用 Haskell 和 Python 的 CAmkES 如何作为“将 C 和 Rust 层连接在一起的抽象层”发挥作用。

谷歌将此视为“智能环境 ML 系统始终值得信赖的未来”的第一步。

展望未来，该公司希望开放所有 Sparrow 的源代码——包括硬件和软件。