2023年seL4峰会于2023年9月19日至21日在美国明尼阿波利斯的Elliot Park Hotel举行，由 Linux 基金会主办。Google Research 团队发表了介绍 CantripOS 的其中一个 Keynote 演讲。主要演讲者为 Sam Leffler 。

CantripOS 是一个面向环境机器学习应用的低功耗安全嵌入式操作系统，它运行在 seL4 之上并且几乎完全用 Rust 编写。 CantripOS 据悉是可能是由 KataOS 更名而来。

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