【谷歌推出 KataOS 开源操作系统】据 IT 之家报道，谷歌宣布，推出为嵌入式设备准备的操作系统 KataOS。

据悉，KataOS 选择了 seL4 作为微内核，其经过数学证明是安全的，具有保证的机密性、完整性和可用性。通过 seL4 CAmkES 框架，KataOS 还能够提供静态定义和可分析的系统组件。KataOS 提供了一个可验证的安全平台，保护用户的隐私，因为应用程序在逻辑上不可能违反内核的硬件安全保护，并且系统组件是可验证安全的。

2022.10.17 维卓#出海早报#
-------------------------------
1. 9月抖音及海外版TikTok全球吸金超3.15亿美元

2. Google宣布推出KataOS操作系统，利用Rust和seL4微内核

3. TikTok Shop店铺数量突破13 万

4. 印尼电商Tokopedia加大投资仓库以扩大本地配送业务

5. 首届亚马逊Prime会员早享日销量超1亿件

6. Truth Social在谷歌商店上线

7. 微软将推免费P图软件

8. 恐怖冒险游戏《蔑视》14日上线，在Steam评价褒贬不一，好评率为68%

9. “王者荣耀世界”软件著作权获得登记批准

10. 完美世界发布业绩预报，前三季净利润同比增约80%
-------------------------------
【行业报告】
搜索关注 “WEZO维卓”公众号，从菜单【行业报告】，获取移动#游戏# 、#跨境电商# 、#品牌出海# 行业市场洞察报告

#谷歌推出KataOS开源操作系统#保护数据安全[举杠铃]
谷歌宣布推出 KataOS 操作系统，目标是为嵌入式设备提供安全系统。谷歌表示，如果我们周围的设备无法通过数学证明能够保护数据安全，那么他们收集的个人身份数据，例如人物图像和声音录音，可能会被恶意软件访问，因此推出了 KataOS。
目前KataOS 的早期版本已在 GitHub 开源，包括大多数 KataOS 核心部件：
用于 Rust 的框架（例如 sel4 syscall，它提供 sel4 系统调用 API）
用 Rust 编写的备用 rootserver（动态系统范围内存管理所需）
可以回收 rootserver 所用内存的 sel4 内核修改