新闻
KataOS：Google 又一个新的操作系统，关键词：Rust 、嵌入式、RISC-V 、机器学习
最近 Google 关于操作系统的新闻又来了，谷歌的 AmbiML 团队最近开源了 KataOS，这是一个用于嵌入式机器学习硬件的可证明安全的操作系统。 KataOS 基于 seL4 微内核，并使用 Rust 。
