作者 | Tina
当地时间 10 月 14 日 ， 谷歌宣布推出 KataOS 操作系统 ， 目标是为嵌入式设备提供安全系统 。
谷歌表示该系统的目的是为嵌入式设备提供安全解决方案 。现在从环境中收集和处理信息的智能设备越来越多 ， 如果无法保证数据安全 ， 那么他们收集的信息 ， 例如照片、录音和其它数据 ， 可能会被恶意软件访问 。因此 ， 需要有一个简单的解决方案来为嵌入式硬件构建可验证的安全系统 ， 这就是谷歌被迫引入 KataOS 的原因 。
【谷歌推出 KataOS 开源操作系统,基于 Rust 编写】KataOS 的主要用例是越来越多的智能设备 ， 尤其是运行机器学习应用程序的嵌入式硬件 。业界目前对 RISC-V 的关注度越来越高 ， 而对 CPU 架构的支持是谷歌 KataOS 的首要任务 。
并且谷歌在其博客上表示 ， KataOS 使用 Rust 语言开发 ， 并基于 seL4 微内核进行了构建：
通过 seL4 CAmkES 框架 ， 我们还能够提供静态定义和可分析的系统组件 。KataOS 提供了一个可验证安全的平台来保护用户的隐私 ， 因为应用程序在逻辑上不可能违反内核的硬件安全保护 ， 并且系统组件是可验证安全的 。KataOS 也几乎完全用 Rust 实现 ， 它为软件安全性提供了一个强有力的起点 ， 因为它消除了 entire classes 错误 ， 如 off-by-one errors 和缓冲区溢出 。
谷歌还为 KataOS 构建了一个名为 Sparrow 的参考实现 ， 它将 KataOS 与一个安全的硬件平台相结合 。因此 ， 除了逻辑安全的操作系统内核之外；Sparrow 还包括一个逻辑安全的信任根 ， 该信任根是使用 OpenTitan 在 RISC-V 架构上构建的 。但是就初始版本而言 ， 其目标是使用 QEMU 在模拟中运行更标准的 64 位 ARM 平台 。
目前 ， 谷歌已在在 GitHub 上发布 KataOS的早期版本：
https://github.com/AmbiML/sparrow-manifest 。当前的 GitHub 版本包含了大部分 KataOS 核心部分 ， 包括一个 Rust 的框架 ， 一个用 Rust 编写的备用 rootserver ， 以及对 seL4 的内核修改 。
更多信息：
https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html
推荐阅读
- Good Reader 推出最新版本 goodreader怎么用
- 航运|推出千余岗位！上海自贸区航运“揽才”成果创新高
- 高校|大中城市联合招聘高校毕业生秋季专场推出第四批67场特色服务活动
- 雷神5|雷神扮演者称：儿子希望我继续出演雷神，据传可能推出《雷神5》
- 谷歌浏览器如何更改语言？
- 国产品牌推出10.1寸笔记本 10寸笔记本电脑推荐
- 谷歌浏览器Chrome无法翻译的解决办法
- 品胜推出1.5V可充电AA锂电池 品胜充电电池
- |埃隆马斯克推出名为“烧焦的头发”的香水，卖爆了
- jyp|JYP明年将推出4个新团，每个组合专攻一个市场，NMIXX并不受影响