您现在的位置是:首页 > 科技 > 正文
谷歌宣布推出 KataOS 操作系统
发布时间:2022-10-17 14:50:34编辑:来源:IT之家
IT之家10月16日消息,谷歌宣布推出KataOS操作系统,目标是为嵌入式设备提供安全系统。
谷歌推出KataOS开源操作系统:使用Rust构建,用于嵌入式设备
谷歌表示,随着我们发现自己被越来越多的从环境中收集和处理信息的智能设备所包围,需要有一个简单的解决方案来为嵌入式硬件构建可验证的安全系统。如果我们周围的设备无法通过数学证明能够保护数据安全,那么他们收集的个人身份数据,例如人物图像和声音录音,可能会被恶意软件访问,因此推出了KataOS。
据介绍,KataOS选择了seL4作为微内核,其经过数学证明是安全的,具有保证的机密性、完整性和可用性。通过seL4CAmkES框架,KataOS还能够提供静态定义和可分析的系统组件。
KataOS提供了一个可验证的安全平台,保护用户的隐私,因为应用程序在逻辑上不可能违反内核的硬件安全保护,并且系统组件是可验证安全的。
此外,KataOS几乎完全在Rust中实现,该语言消除了所有类型的错误,例如off-by-one错误和缓冲区溢出。
IT之家了解到,谷歌KataOS的早期版本已在GitHub开源,包括大多数KataOS核心部件:
用于Rust的框架(例如sel4syscall,它提供sel4系统调用API)
用Rust编写的备用rootserver(动态系统范围内存管理所需)
可以回收rootserver所用内存的sel4内核修改
谷歌还与Antmicro合作,通过Renode为目标硬件实现GDB调试和模拟。在内部,KataOS还能够动态加载和运行在CAmkES框架之外构建的第三方应用。目前,Github上的代码不包含运行这些应用所需的组件,谷歌希望在不久的将来发布这些特性。
为了全面证明安全环境系统,谷歌还为KataOS构建了一个名为Sparrow的参考实现,它将KataOS与安全硬件平台结合起来。因此,除了逻辑安全的操作系统内核之外,Sparrow还包括一个逻辑安全的信任根,该信任根是在RISC-V架构上用OpenTitan构建的。然而,对于KataOS的初始版本,谷歌的目标是使用QEMU模拟运行更标准的位ARM平台。
标签:
猜你喜欢
最新文章
- DeepSeek公告:线上服务遭大规模恶意攻击,暂限非+86手机号注册
- IGN揭秘《刺客信条:影》新实机演示:主角形象深入人心!
- 焕新登场:全新起亚K4紧凑型车图解赏析
- 重庆:2025年将持续推进163项城中村改造项目
- 蔚来乐道春节期间暂停车机升级,2月6日恢复推送服务
- 超有牌面!国产游戏《明末:渊虚之羽》登上英国《EDGE》杂志封面,漫画风女侠惊艳亮相
- 币界网晚间行情速递:BTC比特币报价$103,391.48,日内微跌1.04%
- 暗区突围:全面转载新手必备攻略
- 未来人生:个人满级天赋展示与深度评价(五)
- 探索功夫英雄的奇妙世界:玩法特色与剧情概览
- 最后一波福利!速来领取《黑神话:悟空》限定红包封面!
- 《暗黑4》Steam史无前例大促:标准版仅售191.4元,速来抢购!
- 广东:2027年目标全面构建绿色低碳循环经济体系
- 金价飙升,直逼840元大关!黄金店铺春节延期休假,蛇金饰品与足金手机贴受热捧!
- 《宝可梦卡牌P》新扩展包时空激战1月30日震撼发布,帝牙卢卡荣耀参战
- 截至今晨7点,全国172个公路路段受雨雪寒潮侵袭影响
- 币界网晚间行情速递:DOT波卡币攀升至6.446美元/枚,日内涨幅达2.01%
- 《龙腾世纪4》销量惨淡致EA股价暴跌21.25%!市场反应强烈
- 比亚迪海豹汽车OTA升级:全新引入城市领航功能等重磅更新
- 特朗普透露或于30日天内决断TikTok命运
- 10亿基金助力,中部城市赣州抢占人形机器人产业先机
- 《蛋仔派对》服务器崩溃引发玩家不满,官方深夜致歉并修复问题
- Stellantis重启美国贝尔维迪尔工厂,千余员工将重返岗位
- 一鸣食品全资子公司增资扩建:1.32亿打造4500头规模繁育基地