站长发布谷歌发布智能设备操作系统 KataOS,用 Rust 编程用 seL4 微內核 上周末 Google 宣布推出 KataOS(开发代号 Sparrow),该系统是专注于运行环境,侧重于机器学习工作负载的嵌入式装置的操作系统。KataOS 从设计概念上就具备安全意识,专门使用 Rust 编程语言,并建立在 seL4 微内...2022.10.17站长发布