Google 宣布推出 KataOS 操作系统，利用 Rust 和 seL4 微内核
========
你们谷歌到底有多少个新系统啊
https://www.cnbeta.com/articles/tech/1327663.htm