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

Google本周宣布发布KataOS（开发代号Sparrow）作为他们最新专注于运行环境侧重于机器学习工作负载的嵌入式设备的操作系统。KataOS从设计上就具备安全意识，专门使用Rust编程语言，并建立在seL4微内核的基础之上。