谷歌希望通过推出用于机器学习工具的新操作系统KataOS来扩大其在软件行业的份额。在公司博客文章中描述(在新标签中打开)作为“一个为运行ML应用程序的嵌入式设备优化的可证明安全的平台”，KataOS将与其参考实现Sparrow一起运行。

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

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

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

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

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

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

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