IT Services Circle

Oct 19, 2022 · Information Security

Google Announces KataOS: A Rust‑Based Secure OS Built on the seL4 Microkernel

Google has unveiled KataOS, a security‑focused operating system for embedded machine‑learning devices built entirely in Rust on the formally verified seL4 microkernel, with open‑source components on GitHub, a Sparrow reference hardware platform using OpenTitan, and plans to open more of its ecosystem.