谷歌宣布推出新的 RISC-V 芯片开源操作系统

2022-10-21 12:18:18 来源:EETOP编译自allaboutcircuits

谷歌的研究人员最近宣布了一个数学安全平台 KataOS,该平台针对嵌入式 ML 应用程序进行了优化。谷歌已经分享了这个项目(仍在开发中)的一些早期细节,并正在邀请其他人在其开源平台上进行合作。 

谷歌的操作系统 KataOS 是一个更大的项目 Sparrow 的一部分,该项目利用了 RISC-V 和谷歌的硬件信任根OpenTitan。该项目旨在为“环境机器学习应用”设计一个安全、低功耗的嵌入式平台。KataOS 运行在 seL4 之上,  seL4是为安全而构建的世界上最快的操作系统内核之一,并且几乎完全用 Rust 编程语言编写

图片

seL4 微内核示意图

谷歌已经在 Github 上开源了 KataOS的几个组件以实现协作。谷歌与 Antmicro 合作开发了用于嵌入式硬件设计的Renode 模拟器。该模拟器允许快速的软件/硬件设计并提供多核 RISC-V 平台。

据谷歌称,KataOS 的基础是 seL4 微内核,它提供了高安全性、完整性和稳定性。借助seL4 CAmkES 框架,谷歌还提供了静态定义和可分析的系统组件。

5G必威体育手机官网网址DYa0SrfgRvpS652BPZw1kaMicmXNHfTsMTTDs7tw/640?wx_fmt=png" data-type="png" data-w="522" data-index="3" data-origin-display="" _width="522px" crossorigin="anonymous" alt="图片" src="http://kardesimgiysin.com/uploadfile/2022/1021/20221021121927228.jpg" data-fail="0" style="margin: 0px; padding: 0px; outline: 0px; max-width: 100%; box-sizing: border-box !important; overflow-wrap: break-word !important; vertical-align: bottom; height: auto !important; display: initial; visibility: visible !important; width: 522px !important;"/>

CAmkES 连接器和组件

seL4之所以出名,是因为它的可验证安全平台专为完全用Rust实现的以安全为重点的嵌入式应用程序设计。据说这个平台消除了许多错误,例如off-by-one错误和缓冲区溢出。Rust结合了函数式、面向对象和并发编程方法,因此允许高层次的抽象。谷歌声称它的安全性也得到了正式证明。

KataOS 的 GitHub 版本包括:

  • 用于 Rust 的框架
  • 用 Rust 编写的备用根服务器
  •  对 seL4 的内核修改,可以回收根服务器使用的内存 

KataOS 可以动态加载和运行在 CAmkES 框架之外构建的第三方应用程序。谷歌的研究人员希望尽快发布运行这些应用程序的组件。

GitHub 链接:http://github.com/AmbiML/sparrow-manifest

图片

Sparrow是用于验证KataOS的一个参考嵌入式平台。除了安全内核之外,Sparrow还包含一个在RISC-V架构上用OpenTitan构建的安全信任根。信任根包含用于加密功能的密钥,并支持安全引导过程。换句话说,它使硬件对恶意软件的攻击免疫。 

谷歌表示,它将发布Sparrow的所有硬件和软件设计,继续构建运行在嵌入式设备上的安全、环境ML系统。

原文:

http://www.allaboutcircuits.com/news/google-announces-new-open-source-os-for-risc-v-chips/

  1. EETOP 官方微信

  2. 创芯大讲堂 在线教育

  3. 创芯老字号 半导体快讯

相关文章

全部评论

  • 最新资讯
  • 最热资讯
@2003-2022 EETOP

  

必威体育精装版app官网-APP稳定版下载 必威体育app手机下载-必威体育app手机版 威澳门尼斯人手机版下载安装 betway88必威体育-APP专业版下载 必威网址手机登陆平台-官方版APP下载 必威体育客户端下载-网页版登录注册