谷歌推出 KataOS 开源操作系统：使用 Rust 构建，用于嵌入式设备

图片地址：https://img.ithome.com/newsuploadfiles/2022/10/721cb9bb-c703-45e3-b723-75f6c6426040.png?x-bce-process=image/format,f_auto

IT之家 10 月 16 日消息，谷歌宣布推出 KataOS 操作系统，目标是为嵌入式设备提供安全系统。谷歌表示，随着我们发现自己被越来越多的从环境中收集和处理信息的智能设备所包围，需要有一个简单的解决方案来为嵌入式硬件构建可验证的安全系统。如果我们周围的设备无法通过数学证明能够保护数据安全，那么他们收集的个人身份数据，例如人物图像和声音录音，可能会被恶意软件访问，因此推出了 KataOS。据介绍，KataOS 选择了 seL4 作为微内核，其经过数学证明是安全的，具有保证的机密性、完整性和可用性。通过 seL4 CAmkES 框架，KataOS 还能够提供静态定义和可分析的系统组件。KataOS 提供了一个可验证的安全平台，保护用户的隐私，因为应用程序在逻辑上不可能违反内核的硬件安全保护，并且系统组件是可验证安全的。此外，KataOS 几乎完全在 Rust 中实现，该语言消除了所有类型的错误，例如 off-by-on