Google announces security operating system KataOS and its implementation Sparrow

Google AnnounceWith the new operating system KataOS and its reference implementation Sparrow, the search giant aims to create a secure embedded system.Project source codeHosted on GitHub under the Apache License 2.0. Google says that with the ever-increasing number of smart devices around us, a simple solution is needed to build verifiable and secure systems for embedded hardware. Its new operating system, KataOS, uses the seL4 microkernel, which has been mathematically proven safe. The system is almost completely implemented in Rust language, and the core part includes the sel4-sys crate that provides the system call API, and replaces the rootserver. Google also worked with Antmicro to develop the emulator Renode。