AI实践哪家强?来 AICon, 解锁技术前沿,探寻产业新机! 了解详情
写点什么

谷歌推出 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:148882

评论

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

好物周刊#2:AI 写作助手

村雨遥

软件 网站 项目 插件 资料

企业该如何迈好降本增效的第一步?

ToB行业头条

安全保护策略:iOS应用程序代码保护的关键步骤和技巧

WorkPlus局域网即时通信软件,打造高效协作的智能选择

BeeWorks

C++中的四种类型转换运算符

芯动大师

C语言

最佳实践:TiDB 业务写变慢分析处理

PingCAP

数据库 最佳实践 TiDB

无代码开发和低代码开发的本质区别

互联网工科生

无代码开发 低代码开发 JNPF

企业数据安全重要?私有化部署IM,保障信息安全无忧虑!

BeeWorks

用户案例|Shopee 在多媒体理解业务的向量检索系统实践

Zilliz

非结构化数据 Milvus Shopee Zilliz 向量数据库

infoQ 迁移开始

愤毛阿青

静态分析在DevSecOps中的应用

Tom(⊙o⊙)

在信创化的浪潮下,银行应该如何选择

Onegun

信创 信创生态

怎么使用cpu调用SDK进行开发?

矩视智能

机器视觉

独享http代理与普通http代理相比,独享贵的因素有哪些?

巨量HTTP

代理IP http代理

时序数据库 IoTDB 发布端边云原生解决方案,有效优化工业互联网数据上传时效与资源消耗

Apache IoTDB

豆瓣评分9.6!Mybatis技术原理实战

程序员万金游

mybatis #java #Spring #后端

重装亮相!9 月 22 日平凯数据库 - TiDB 企业版全解读等你来!

PingCAP

数据库 TiDB 平凯星辰 平凯数据库

低代码平台技术分享官丨日志实时隔离,助力高效发布

inBuilder低代码平台

低代码

WorkPlus打造智慧企业移动门户,开启高效办公新时代

BeeWorks

金融业需要的大模型,是一个系统化工程

脑极体

大模型

任正非“苹果是华为的老师”;音频编解码标准 L2HC 发布;GNU 和自由软件运动四十周年丨RTE开发者日报 Vol.53

声网

专访中欧财富伍春兰:财富管理行业数字化转型升级,数据库如何选型?

PingCAP

数据库 TiDB

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