Google recently launched the KataOS operating system, with the goal of providing a secure system for embedded devices. Currently, the open source code of the KataOS operating system released by Google is available on GitHub, including most of the core modules and developers can proceed to download.
There are now more intelligent devices that collect and process information from the environment. According to Google, these devices are more prone to security issues. Therefore, there is a need for a simple solution that is a verifiable secure system for embedded hardware. If the devices around us can't be mathematically proven to keep data safe, then there's trouble. This is because the data collected can be vulnerable to external attacks. This means that photos, voice recordings, videos, and other data can be stolen by malware. This is why Google introduced KataOS.
According to reports, KataOS chooses the seL4 structure as the microkernel. This is proven to be secure and private. The reliability of this operating system is high and users can be sure of the protection. Through the seL4 CAmkES structure, KataOS can also provide defined and analyzeable system components.
KataOS provides a secure system that protects user privacy, as it is nearly impossible for applications to compromise the hardware security measures of this operating system. Furthermore, KataOS is implemented almost entirely in Rust, a language that eliminates all kinds of bugs.
Google has also built a reference for KataOS called Sparrow. The reason for the creation of Sparrow is to fully demonstrate the secure environment system, when combining the use of KataOS with a secure hardware platform.
