谷歌宣布推出 KataOS 开源操作系统 采用 Rust 和 seL4 微内核
KataOS 选择了 seL4作为微内核，其经过数学证明是安全的，具有保证的机密性、完整性和可用性。通过 seL4CAmkES 框架，KataOS 还能够提供静态定义和可分析的系统组件。KataO
KataOS 选择了 seL4作为微内核，其经过数学证明是安全的，具有保证的机密性、完整性和可用性。通过 seL4CAmkES 框架，KataOS 还能够提供静态定义和可分析的系统组件。KataO