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

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

根据最新文件显示 Fuchsia 支持 RISC-V 的提案获得正式通过，Fuchsia OS 将支持64位 RISC-V 架构。该提案于2023年2月14日情人节提出，2023年3月7日正式获得通过。