谷歌最新发布KataOS操作系统 微内核为seL4 可提供静态定义

谷歌宣布推出 KataOS 操作系统，目标是为嵌入式设备提供安全系统。

谷歌表示，随着我们发现自己被越来越多的从环境中收集和处理信息的智能设备所包围，需要有一个简单的解决方案来为嵌入式硬件构建可验证的安全系统。

如果我们周围的设备无法通过数学证明能够保护数据安全，那么他们收集的个人身份数据，例如人物图像和声音录音，可能会被恶意软件访问，因此推出了 KataOS。

据介绍，KataOS 选择了 seL4 作为微内核，其经过数学证明是安全的，具有保证的机密性、完整性和可用性。

通过 seL4 CAmkES 框架，KataOS 还能够提供静态定义和可分析的系统组件。

推荐DIY文章

动真格，真五折！掌上明珠家居全屋扫货节超燃来袭！

广汽本田ZR-V致在e：HEV新车来了 预计全系可拥有三款车型

雷蛇正式推出锋刃游戏掌机新品 自称其为全球首款5G游戏设备

小米13系列被曝可在年底前亮相 其MIUI稳定版系统也已在测试中

七彩虹已上市显卡RTX4090Vulcan打破多项世界超频跑分纪录

长城汽车携欧拉好猫亮相2022巴黎车展 并确认欧洲上市消息