​谷歌推出 KataOS 开源操作系统

10 月 17 日消息，谷歌宣布，推出为嵌入式设备准备的操作系统 KataOS。

据悉，KataOS 选择了 seL4 作为微内核，其经过数学证明是安全的，具有保证的机密性、完整性和可用性。通过 seL4 CAmkES 框架，KataOS 还能够提供静态定义和可分析的系统组件。

KataOS 提供了一个可验证的安全平台，保护用户的隐私，因为应用程序在逻辑上不可能违反内核的硬件安全保护，并且系统组件是可验证安全的。

谷歌还与 Antmicro 合作，通过 Renode 为目标硬件实现 GDB 调试和模拟。在内部，KataOS 还能够动态加载和运行在 CAmkES 框架之外构建的第三方应用。

目前，Github 上的代码不包含运行这些应用所需的组件，谷歌希望在不久的将来发布这些特性。

责编：聚观365

*此内容归聚观365整编发布，未经聚观365书面授权，不得以任何方式加以使用，包括转载、摘编、复制或建立镜像。