Redian新闻
>
谷歌推出开源操作系统KataOS

谷歌推出开源操作系统KataOS

公众号新闻

点击上方“芋道源码”,选择“设为星标

管她前浪,还是后浪?

能浪的浪,才是好浪!

每天 10:33 更新文章,每天掉亿点点头发...

源码精品专栏

 
来源:OSC开源社区(ID:oschina2013)

谷歌宣布推出安全操作系统 KataOS,作为他们最新专注于运行环境侧重于机器学习工作负载的嵌入式设备的操作系统。出于将安全性放在首位的宗旨,KataOS 专门使用 Rust 语言开发,并基于 seL4 微内核进行了构建。

通过 seL4 CAmkES 框架,我们还能够提供静态定义和可分析的系统组件。KataOS 提供了一个可验证安全的平台来保护用户的隐私,因为应用程序在逻辑上不可能违反内核的硬件安全保护,并且系统组件是可验证安全的。KataOS 也几乎完全用 Rust 实现,它为软件安全性提供了一个强有力的起点,因为它消除了 entire classes 错误,如 off-by-one errors 和缓冲区溢出。

目前,谷歌已经在 GitHub 开源了大部分 KataOS 核心部分。具体包括用于 Rust 的框架(例如 sel4-sys crate,它提供了 seL4 系统调用 API),一个用 Rust 编写的备用 rootserver(用于动态系统范围的内存管理),以及对 seL4 的内核修改,可以回收 rootserver 使用的内存。

谷歌方面透露,在内部,KataOS 还能够动态加载和运行在 CAmkES 框架之外构建的第三方应用程序。但运行这些应用程序所需的组件暂时还未开源,他们计划或将在不久的未来发布这些功能。

为了完整地证明一个安全的环境系统,谷歌还为 KataOS 构建了一个名为 Sparrow 的参考实现,它将 KataOS 与一个安全的硬件平台相结合。因此,除了逻辑安全的操作系统内核之外;Sparrow 还包括一个逻辑安全的信任根,该信任根是使用 OpenTitan 在 RISC-V 架构上构建的。但是就初始版本而言,其目标是使用 QEMU 在模拟中运行更标准的 64 位 ARM 平台。

公告称,谷歌的目标是开源所有 Sparrow,包括所有硬件和软件设计;现下发布的 KataOS 早期版本只是一个开始。

相关链接:

https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html

https://github.com/AmbiML/sparrow-manifest



欢迎加入我的知识星球,一起探讨架构,交流源码。加入方式,长按下方二维码噢

已在知识星球更新源码解析如下:

最近更新《芋道 SpringBoot 2.X 入门》系列,已经 101 余篇,覆盖了 MyBatis、Redis、MongoDB、ES、分库分表、读写分离、SpringMVC、Webflux、权限、WebSocket、Dubbo、RabbitMQ、RocketMQ、Kafka、性能测试等等内容。

提供近 3W 行代码的 SpringBoot 示例,以及超 4W 行代码的电商微服务项目。

获取方式:点“在看”,关注公众号并回复 666 领取,更多内容陆续奉上。

文章有帮助的话,在看,转发吧。

谢谢支持哟 (*^__^*)

微信扫码关注该文公众号作者

戳这里提交新闻线索和高质量文章给我们。
相关阅读
谷歌首款Pixel手表问世!搭载全新操作系统,24小时续航…售价不到3000硬核观察 #791 谷歌宣布推出 Rust 开发的 KataOS 操作系统谷歌推出开源操作系统 KataOS,采用 Rust 和 seL4 微内核小孩总是给你惊喜双十一,手写操作系统来凑个热闹不满付费模式彻底剔除红帽,乐天:我们需要一个“真正”开源的操作系统谷歌又发新操作系统了!操作系统人机对话!Linux OS大谈Windows与macOS:值得学习,但被Linux碾压Israel Weekly | 以总统将访美;谷歌推出以色列云;以重申不对乌克兰提供武器,Mobileye ...7 款颜值当道的 Linux 操作系统 !从操作系统的进化中,读懂MagicOS新树莓派操作系统更新带来一些不错的小改进 | Linux 中国9900 万元!建设银行采购中国 Linux 发行版 麒麟操作系统,统信 UOS 落选谷歌推出全息电话亭,颠覆视频通话?深度解读火山引擎官方操作系统 veLinux谷歌开源安全的机器学习操作系统 KataOS“国产操作系统第一股”麒麟信安登陆科创板 高景气赛道下公司成长性可期内核代码量不到一万行、GitHub star超5k,国产开源物联网操作系统TencentOS Tiny的探索与实践中国全新操作系统 Orange Pi OS 惊艳老外:“应用多界面赞,让人忘了 Win11”谷歌推出 KataOS 开源操作系统,基于 Rust 编写社会主义的力量源泉在群众之中击碎次元壁!谷歌推出全息电话亭,颠覆视频通话?在美国上学的经历撸了个Linux 操作系统,爽!老钱:是“曹长青”吗?还是晚节不保?7 Papers & Radios | 谷歌推出DreamBooth扩散模型;张益唐零点猜想论文出炉国产操作系统第一股上市!股价飙涨212%,湖南今年首个科创板IPO5个板块,25个项目,集中盘点中国开源操作系统 | Q推荐从 OpenCloudOS 的演进之路,看国产开源操作系统的突围与进阶汉服、戏服、舞蹈服、影楼服与汉元素服装1600亿白马股突然跌停,股价逼近腰斩!中一签最高浮盈超8万,“国产操作系统第一股”上市,成年内最大肉签!谷歌推出全息电话亭,颠覆视频通话? |【经纬低调分享】2022云栖大会龙蜥操作系统峰会 | 直播死磕操作系统!谷歌重磅发布开源KataOS,网友:「谷歌坟场」喜+1
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。