谷歌展示了另一個實驗性的作業系統: KataOS

谷歌是少數幾家願意嘗試新作業系統的科技公司之一。它已經為嵌入式機器學習裝置推出了KataOS。

KataOS和Sparrow一起發表在谷歌的開源部落格上。KataOS是作業系統設計，Sparrow是參考實現，因為Weston display server是Wayland的參考實現。

按照計劃，KataOS將成為“一個為執行ML應用程式的嵌入式裝置最佳化的可證明的安全平臺”。谷歌正在與Antmicro合作，後者建立了seL4系統。目前正在Arm64指令集上開發作業系統，但計劃使用RISC-V在openTitan上執行。

根據GitHub上的介紹，新的作業系統“幾乎完全是用Rust編寫的”。這還不包括底層的微核心，即seL4。Reg FOSS desktop在2月份報告實驗性的Neptune作業系統時提到了這一點。因為seL4主要是用C實現的，所以本專案使用CAmkES（基於微核心的嵌入式系統元件架構，使用Haskell和Python）作為抽象層，將C層和Rust層連線在一起。

早在20世紀80年代，微核就被視為下一件大事。雖然受主流影響不多，但也不少。Linux評論家Andy Tanenbaum博士的Minix 3是一款成功的FOSS微核心，用於百萬Intel CPU的系統管理控制器。QNX是黑莓10的基礎，也是黑莓的盈利點。是最暢銷的商業微核。

你最有可能看到或使用的是蘋果的macOS（以前是Mac OS X，在此之前是NeXTstep），它基於開源的XNU核心。這是基於卡耐基梅隆大學的馬赫，第一代微核心之一，但是XNU有一個基於FreeBSD程式碼的大型核心內“Unix伺服器”，所以從技術上來說，它是一個混合核心，而不是一個純微核心。