Google released KataOS operating system with Rust and seL4 microkernel.

Google announced the release of KataOS (codenamed Sparrow) as their latest operating system focused on embedded devices running environments focused on machine learning workloads.

KataOS is security-conscious by design, uses the Rust programming language exclusively, and is built on the seL4 microkernel.

Google released KataOS operating system with Rust and seL4 microkernel


KataOS is designed for use in an ever-increasing number of smart devices, with a special emphasis on embedded hardware running machine learning applications.

Given the growing interest in RISC-V, the CPU architecture is a major support focus for KataOS. Google’s open source blog announced.

The current GitHub release includes most of the core parts of KataOS, including our frameworks for Rust (like the sel4-sys crate, which provides the seL4 system call API), an alternate root server written in Rust (requires dynamic system-wide memory management) ), and a kernel modification to seL4 to reclaim memory used by root servers. “

You can learn more about this OS effort on Google’s open source blog:

You can see the progress of related projects on GitHub: