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.
Embedded SystemsKataOSOpenTitan
0 likes · 4 min read