谷歌刚刚公布了另外一个全新的操作零碎

逃禅

谷歌但愿经过推出用于机器学习工具的新操作零碎 KataOS 来扩张其在软件行业的份额。
在公司博客文章中形容（在新标签中关上）作为“一个为运转 ML 运用顺序的嵌入式装备优化的可证实平安的平台”，KataOS 将与其参考完成 Sparrow 一同运转。
大少数计算机用户将习气于 Windows 和 macOS 操作零碎，而专业用户则只能使用他们最喜爱的Linux 发行版进行更详细的操作。
谷歌公布 KataOS 和 Sparrow
该公司在其布告中表现，跟着智能装备变得愈来愈广泛，可以构建“嵌入式硬件可验证平安零碎”的首要性。
谷歌表现，假如无奈在数学上证实这些装备可以包管数据的平安，咱们的集体身份数据（如图象和录音）可能会见临危险。
只管“还有得多任务要做”，但谷歌依然确认了无关行将推出的 KataOS 的一些细节。过来，该公司偏爱 Carbon 和 C++ 编程言语，但按照其相干的GitHub 页面，其新名目“简直彻底用 Rust 编写”（在新标签中关上）.
注销册（在新标签中关上）子细钻研底层的 seL4 微内核，它通罕用 C 完成。本文解释了使用 Haskell 和 Python 的 CAmkES 如何作为“将 C 和 Rust 层衔接在一同的笼统层”发扬作用。
谷歌将此视为“智能环境 ML 零碎一直值得信任的将来”的第一步。
瞻望将来，该公司但愿凋谢一切 Sparrow 的源代码——包罗硬件和软件。