谷歌的 AmbiML 团队最近开源了 KataOS，这是一个适用于嵌入式机器学习硬件的可证明安全操作系统。KataOS 基于 seL4微内核，使用 Rust 实现。除了 KataOS，谷歌正在发布 Sparrow，这是针对基于 RISC-V 架构安全硬件平台的操作系统参考实现。 该版本发布是在谷歌开
谷歌的 AmbiML 团队最近开源了 KataOS，这是一个适用于嵌入式机器学习硬件的可证明安全操作系统。KataOS 基于 seL4微内核，使用 Rust 实现。除了 KataOS，谷歌正在发布 Sparrow，这是针对基于 RISC-V 架构安全硬件平台的操作系统参考实现。 该版本发布是在谷歌开
By