Google Unveils KataOS 'Verifiably-Secure' Operating System for Embedded Devices

The project is named Sparrow and it revolves around a new operating system named KataOS, for which Google has already open-sourced several components. The tech giant pointed out that KataOS is mostly developed in Rust, which makes it more secure.