Latest Post

Google issues security alert for Samsung Smart Phones BYD released smart watch with keyless function for BYD vehicles

Google released KataOS operating system with Rust and seL4 microkernel


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.


As the basis for this new operating system, we chose seL4 as the microkernel because it puts security front and center; it is mathematically proven to be secure with guaranteed secrecy, integrity and availability. By seL4 CAmkES framework, we are also able to provide statically defined and analyzable system components. KataOS provides a verifiable security platform that protects the user’s privacy because it is logically impossible for an application to breach the kernel’s hardware security protections and the system Components are verifiably secure. KataOS is also implemented almost entirely in Rust, which provides a strong starting point for software security, as it eliminates entire classes of bugs like one-by-one bugs and buffer overflows.


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: