Google 重磅宣布 KataOS 开源操作系统,微内核世界一件大事
Google 发布了 KataOS,这是一种针对开源 RISC-V 芯片上嵌入式系统的新安全操作系统的早期探索。
Google 的 KataOS“几乎完全用Rust编写”,这是 Android 开源项目和 Linux 内核项目采用的编程语言。
“KataOS 也几乎完全在 Rust 中实现,它为软件安全提供了一个强有力的起点,因为它消除了所有类型的 bug,例如逐个错误和缓冲区溢出,”正在构建智能环境机器学习(AmbiML)系统的 Google 开源团队解释道。
该项目的 GitHub 页面强调新操作系统 KataOS 及其参考实现 Sparrow,搜索巨人旨在创造一种安全的嵌入式系统。
“我们在 Google Research 的团队已经开始通过构建一个可证明安全的平台来解决这个问题,该平台针对运行 ML 应用程序的嵌入式设备进行了优化。这是一个正在进行的项目,还有很多工作要做,但我们很高兴能分享一些早期细节,并邀请其他人在平台上合作,这样我们就可以构建默认内置安全功能的智能环境系统,”Google 表示。
该操作系统不适用于台式机或智能手机,而是物联网,可能适用于智能家庭。
目标是为嵌入式硬件或边缘设备(如网络连接相机)构建可验证的安全系统,用于捕获在设备上或云中处理的图像,以进行机器学习。
AmbiML 团队指出:“如果我们周围的设备无法通过数学证明能够确保数据安全,那么他们收集的个人身份数据——比如人的图像和他们的声音记录——可能会被恶意软件访问。”他补充道,安全性通常会在最后附加。
操作系统是用新的 sel4“安全第一”微内核构建的。它是开源的,但不是基于 Linux 的,与 Google 的 Fuchsia 操作系统没有关系。
澳大利亚研究机构 CSIRO 的数字部门 Data61 于 2020 年宣布 sel4 是一个经过数学验证的正确,没有 bug 的内核。Linux 基金会托管 selL4 基金会。
Google 解释道:“作为这个新操作系统的基础,我们选择了 seL4 作为微内核,因为它把安全放在了最前面和中心;它在数学上证明是安全的,具有保密性、完整性和可用性。”。
“通过 seL4 CAmkES 框架,我们还能够提供静态定义和可分析的系统组件。KataOS 提供了一个可验证的安全平台,保护用户的隐私,因为应用程序在逻辑上不可能违反内核的硬件安全保护,系统组件也可验证安全。”
虽然这是一个早期项目,但 GitHub 存储库附带基于 Rust 的 sel4 sys Crate 插件,这些插件提供了 sel4 syscall 应用程序编程接口。它还拥有一个用 Rust 编写的 rootserver - 用于动态系统范围内存管理 - 以及对 seL4 的定制,以回收 rootserver 使用的内存。它还启用了调试。
其目的是支持 RISC-V 架构芯片,NASA、英特尔和其他公司对其很早就有兴趣。
Google 指出:“Sparrow 在 RISC-V 架构上使用 OpenTitan 构建了一个逻辑安全的信任根。然而,对于我们的初始版本,我们的目标是使用 QEMU 模拟运行更标准的 64 位 ARM 平台。”
KataOS 发生了什么仍有待观察。几年前,Google 推出了 Fuchsia 操作系统,其目标也是物联网。它在 Nest Hub 等谷歌制造设备上运行,但 Fuchsia 的最新发展表明,Google 希望将其从智能家居设备扩展到更通用的操作系统。
Google 重磅宣布 KataOS 开源操作系统,微内核世界一件大事相关推荐
- 放弃 Windows 后 ,开源操作系统能成为主流桌面系统吗?
整理 | 郑丽媛 头图 | CSDN下载自东方IC 在近十几年里,总是能听到世界各地的国家或者地方政府在尝试用开源系统代替Windows作为政府办公系统,尤其在今年微软正式宣布停止对Windows 7 ...
- 刘敏:优麒麟开源操作系统运营实践 | DEV. Together 2021 中国开发者生态峰会
内容来源:2021 年 6 月 5 日,由 SegmentFault 思否主办的 2021 中国开发者生态峰会圆满落幕.会上,优麒麟开源社区运营负责人刘敏发表了主题为<优麒麟开源操作系统运营实践 ...
- [转]Google的60款开源项目
1.机器学习系统 TensorFlow 详情:https://github.com/tensorflow/tensorflow 2.material-design-icons 详情:http://go ...
- Google的60款开源项目
1.机器学习系统 TensorFlow 详情:https://github.com/tensorflow/tensorflow 2.material-design-icons 详情:http://go ...
- 你不知道的开源操作系统汇总
下方查看历史精选文章 重磅发布 - 自动化框架基础指南pdfv1.1 大数据测试过程.策略及挑战 测试框架原理,构建成功的基石 在自动化测试工作之前,你应该知道的10条建议 在自动化测试中,重要的不是 ...
- Google 开发新的开源系统 Fuchsia
google 最新os 下载 https://github.com/fuchsia-mirror/magenta 本文转自:http://www.oschina.net/news/76094/goog ...
- 华为全新发布开源操作系统欧拉:覆盖数字基础设施全场景
来源:C114通信网(C114-weixin) 作者:舒允文 在华为全联接2021上,面向数字基础设施的开源操作系统欧拉(openEuler)全新发布.欧拉操作系统可广泛部署于服务器.云计算.边缘计算 ...
- 一文带你看懂物联网开源操作系统
物联网.开源.操作系统是目前IT业界的热门词汇,也正是这三个词汇构成了物联网开源操作系统.那么,对于物联网开源操作系统,你了解有多少呢?我们今天带大家一起走近物联网操作系统,同时介绍10款经典的物联网 ...
- 干货:机器人开源操作系统ROS
导读:前不久,John 为大家介绍过物联网开源操作系统,或许大家还记忆犹新.今天,要介绍的是一款机器人领域的开源操作系统:ROS. 简介 ROS,英文全称 Robot Operating System ...
最新文章
- 研发协作Scrum看板工具项目管理团队协通敏捷开发平台
- UITableView取消选中颜色、常用操作
- Spring中你不知道的注入方式
- jdk678910新特性地址
- 如何找mysql8.0的rpm安装包_centos7 mysql8.0 RPM软件包方式安装
- 运行php程序cpu 100%,php 应用 cpu 100% 调试方法
- python os模块进程管理
- 现在工作和技术一般,想下班后充充电多学点东西。然而事实却相反,怎么让自己的学习更加有毅力?...
- android抓取微信朋友圈,一种快速提取Android微信朋友圈数据的方法
- golang怎么判断字符串是否为空
- dcp 1519 linux驱动下载,dcp1519驱动
- U盘因为有写保护,不能格式化,该怎么办
- 减治法——生成组合对象
- 带宽、流量限制软件之Netlimiter Pro中文使用教程
- Java版本企业招投标采购管理系统源码 一站式全流程采购招标系统
- DNS 服务器 清除缓存
- IOS开发:如何修改 SwiftUI 模板项目的启动页面
- MATLAB基本操作及概念
- Job for network.service failed because the control process exited with error code. 的解决办法
- AUC值越大_AUC,ROC 讲解
热门文章
- 北航研究生计算机系论文手册,北航研究生论文格式.pdf
- 郑大计算机技术专硕学费,郑州大学2018年硕士研究生学费奖助政策
- 【八大排序(一)】排序还只会用冒泡?进来给我学!
- SUN服务器可能遇到得问题总结(一)
- 《Computer-常用思维导图工具原型图设计工具》
- 制作WINPE启动光盘的方法
- MySQL 多表查询和更新练习
- 软件开发的一个案例:学生信息管理系统
- Linux基础篇学习—shell及shell脚本
- 【解决方案】基于国标GB28181协议/HIKSDK/Ehome协议EasyCVR智能融合分析平台在智慧校园人脸识别中的应用