谷歌揭示了另一个实验性操作系统：KataOS-google 实验室

谷歌是为数不多的愿意试验新操作系统的科技公司之一，它推出了用于嵌入式机器学习设备的KataOS。

KataOS和Sparrow是在谷歌开源博客上发布的。KataOS是操作系统设计，Sparrow是参考实现，正如Weston显示服务器是Wayland的参考实现一样。

计划是KataOS将成为“一个可证明安全的平台，为运行ML应用程序的嵌入式设备进行了优化”。谷歌正在与创建seL4-sys板条箱的Antmicro合作。目前，该操作系统正在Arm64指令集上开发，但计划是在使用RISC-V的openTitan上运行它。

根据GitHub 上的介绍，新操作系统“几乎完全用 Rust 编写” 。这不包括底层微内核，即seL4，这是Reg FOSS 部门在 2 月份报道实验性 Neptune OS 时提到的。

由于seL4主要用C语言实现，该项目使用CAmkES -基于微内核的嵌入式系统的组件架构，它使用Haskell和Python -作为抽象层将C和Rust层连接在一起。

早在20世纪80年代，微核就被视为下一个大趋势。由OG Linux评论家Andy Tanenbaum博士开发的Minix 3是一个成功的自由/开源软件微内核，用于数百万Intel cpu的系统管理控制器。

你最有可能见过或使用过的无疑是苹果的macOS(以前是Mac OS X，之前是NeXTstep)，它基于开源的XNU内核。它基于卡内基梅隆大学的Mach(第一代微内核之一)，但XNU有一个基于FreeBSD代码的大型内核内“Unix服务器”，因此从技术上说，它是一个混合内核，而不是一个纯微内核。

安全增强的L4，或简称seL4，是由已故的Jochen Liedtke专门设计的，以响应Mach，目标是提高微内核的性能。它已经存在很长一段时间了——The Reg在10年前就报道过它。

但另一方面，对于像这样一个非常小众的系统来说，成功的基准比一个更通用的操作系统要低。在之前的谷歌操作系统中，最著名的是Fuchsia，该公司最终发布了该操作系统。