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


Google last week unveiled a new project focused on building a secure embedded platform for machine learning (ML) applications.

Google last week unveiled a new project focused on building a secure embedded platform for machine learning (ML) applications.

The project’s goal is designing intelligent ambient ML systems that are secure and trustworthy.

The project is named Sparrow and it revolves around a new operating system named KataOS, for which several components have already been open sourced by Google.

“KataOS provides a verifiably-secure platform that protects the user’s privacy because it is logically impossible for applications to breach the kernel’s hardware security protections and the system components are verifiably secure,” Google explained.

The tech giant pointed out that KataOS is mostly developed in Rust, which makes it more secure because it eliminates buffer overflows and other classes of bugs.

Sparrow is the reference implementation for KataOS. It combines the new operating system, which provides a logically-secure kernel, with a secured hardware platform that provides a logically-secure root of trust leveraging the OpenTitan project on a RISC-V architecture.

“The KataOS components are based on an augmented version of seL4’s CAmkES framework. Critical system services are CAmkES components that are statically configured. Applications are developed using an AmbiML-focused SDK and dynamically loaded by the system services,” KataOS developers explained.

Google says its goal is to open source the entire Sparrow project, including all hardware and software designs. For now it has open sourced some components and invites others to contribute.

Source code and technical details for Sparrow and KataOS are available on GitHub.


By Eduard Kovacs on Wed, 19 Oct 2022 10:18:02 +0000
Original link