2022 年 10 月 17 日
谷歌宣布,推出为嵌入式设备准备的操作系统 KataOS。KataOS 选择了 seL4 作为微内核,其经过数学证明是安全的,具有保证的机密性、完整性和可用性。通过 seL4 CAmkES 框架,KataOS 还能够提供静态定义和可分析的系统组件 … KataOS 提供了一个可验证的安全平台,保护用户的隐私,因为应用程序在逻辑上不可能违反内核的硬件安全保护,并且系统组件是可验证安全的。
话题追踪
2024-01-16
谷歌宣布不再为 Fuchsia OS 操作系统引入完整版 Chrome 浏览器2022-12-05
谷歌称使用 Rust 语言后,安卓系统内存安全漏洞数量大幅下降2022-10-17
谷歌推出 KataOS 开源操作系统2020-12-09
谷歌向外部开发者开放新的操作系统 「Fuchsia」2020-08-13
谷歌 Fuchsia OS 操作系统已获蓝牙认证2020-03-27
谷歌宣布恢复 Chrome 浏览器、Chrome OS 操作系统更新2020-02-29
谷歌新操作系统 Fuchsia OS 进入开发者试用阶段2020-02-06
谷歌申请 Pigweed 操作系统商标2019-06-29
谷歌推出下一代操作系统 Fuchsia OS 开发者网站查看更多