谷歌推出 KataOS 开源操作系统,基于 Rust 编写
作者 | Tina
当地时间 10 月 14 日,谷歌宣布推出 KataOS 操作系统,目标是为嵌入式设备提供安全系统。
谷歌表示该系统的目的是为嵌入式设备提供安全解决方案。现在从环境中收集和处理信息的智能设备越来越多,如果无法保证数据安全,那么他们收集的信息,例如照片、录音和其它数据,可能会被恶意软件访问。因此,需要有一个简单的解决方案来为嵌入式硬件构建可验证的安全系统,这就是谷歌被迫引入 KataOS 的原因。
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
点击底部阅读原文访问 InfoQ 官网,获取更多精彩内容!
今日好文推荐
Htmx意外走红,我们从React“退回去”后:代码行数减少 67%,JS 依赖项从 255 下降到 9
硅谷“网红”技术大牛 Steve Yegge:退休后面试工程主管,他们居然让我写点代码
智联招聘:Q3 全国平均招聘月薪 10168 元;曝特斯拉拒招小鹏前员工;英特尔或裁员数千人,国内公司涉多起劳动纠纷|Q 资讯
专访“MySQL 之父”:我曾创造 MySQL,也将颠覆 MySQL
相关文章
- Rust web 框架现状【2021 年 1 季度】
- 《安富莱嵌入式周报》第285期:电子技术更新换代太快,我要躺平,Linux内核6.1已经并入RUST,一夜161个网站密码遭泄,Matlab精选课件,开源电子书
- Rust腐蚀Liunx LGSM开服教程
- Rust腐蚀Windows SteamCMD开服教程
- 论文导读 | 使用 Kani 验证 Rust 中的 trait 对象
- RAII技术:在Rust中实现带有守卫的自旋锁,支持一定程度上的编译期并发安全检查
- rust枚举
- 【Rust 日报】2023-01-08 Rust新年夜话——2022年回顾
- 用 rust 实现 llvm 源码中的可持久化 AVL 树:ImmutableMap
- Rust语言入门以及代码示例
- Rust实战系列-基本语法
- Rust学习笔记之结构体
- Rust 编码风格团队宣布完成重组
- Rust语法之多线程(Tokio)
- 字节开源 Monoio :基于 io-uring 的高性能 Rust Runtime
- Rust的模块化系统: 包Packages, 箱Crates, 和模块Modules
- 硬核观察 | Linus Torvalds 青睐 Rust,并称 C++ 是“一门垃圾语言”
- Rust把Redis带入自动化时代(rust redis)