写点什么

谷歌推出 KataOS 开源操作系统,基于 Rust 编写

  • 2022-10-17
    北京
  • 本文字数:776 字

    阅读完需:约 3 分钟

谷歌推出 KataOS开源操作系统,基于Rust编写

当地时间 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

2022-10-17 21:148868

评论

发布
暂无评论
发现更多内容

使用 Grafana 展示多个TiDB集群的告警

TiDB 社区干货传送门

监控 管理与运维

HarmonyOS Web场景性能优化指导

HarmonyOS开发者

「英伟达」整合机器人零部件供应商,进军人形机器人整机制造!

机器人头条

英伟达 特斯拉 大模型 人形机器人 具身智能

切入具身智能赛道,先从这篇文章开始!

机器人头条

强化学习 多模态模型 人形机器人 具身智能

什么是二级域名?如何申请二级域名?

国科云

原生APP外包开发的优势

北京木奇移动技术有限公司

软件外包公司 原生APP外包 原生APP开发

校园兼职 | 大学生运营推广专员招募中!

测吧(北京)科技有限公司

测试

区块链技术中的智能合约评审

北京木奇移动技术有限公司

区块链技术 智能合约开发 软件外包公司

TiCDC 同步中断案例1 :修改时区后执行了受时区影响的 DDL 进而导致同步失败

TiDB 社区干货传送门

故障排查/诊断 6.x 实践

Lightning导入单个TB级CSV文件加速方案

TiDB 社区干货传送门

迁移 管理与运维 大数据场景实践 8.x 实践

面试:如何回答HR的问题

老张

面试 求职面试 职场认知

区块链智能合约开发的技术难点

北京木奇移动技术有限公司

区块链技术 智能合约开发 软件外包公司

HTTP请求超时:底层机制与应对策略

代码忍者

电商API的测试与用途:深度解析与实践

科普小能手

电商 API 跨境电商 API 接口 API 测试

杭州银行:分布式场景下快速构建数据模拟环境的探索与实践

TiDB 社区干货传送门

TiDB生态新伙伴:Navicat正式支持TiDB

TiDB 社区干货传送门

管理与运维 应用适配

预制菜智能化生产管理MES系统解决方案

万界星空科技

mes 万界星空科技mes 预制菜加工 预制菜工厂 预制菜生产管理

腾讯云 AI 代码助手:AI Agent 构建企业新一代研发范式

CodeBuddy

玉溪具有资质等保测评机构在哪里?电话多少?

行云管家

网络安全 等保 等保测评 玉溪

等保测评周期一般是多少?最长多久?

行云管家

网络安全 等保 等级保护 等保测评

深入探索 WebView与微信小程序测试的奥秘

测试人

软件测试

TiDB数据库 最强SQL审核工具,求挑战

TiDB 社区干货传送门

性能测评 TiDB 源码解读 6.x 实践 TiDB Cloud TiDB Vector

面向 TiDB AI 学习 TiDB

TiDB 社区干货传送门

TiDB Vector

自动驾驶行业精英,正疯狂涌入具身智能赛道!

机器人头条

完成的定义DoD与验收标准AC的区别

ShineScrum

HarmonyOS 5.0应用开发——Ability与Page数据传递

高心星

HarmonyOS ArkTS 鸿蒙Next

大模型赋能智能编码安全|「智效融合,安全护航」西安站技术沙龙成功举办

百度安全

具身智能领域,伯克利(UC Berkeley)归国四子

机器人头条

强化学习 大模型 人形机器人 具身智能

谷歌推出 KataOS开源操作系统,基于Rust编写_开源_Tina_InfoQ精选文章