Discover Security Projects News
Google Announces KataOS As Security-Focused OS, Leveraging Rust & seL4 Microkernel
Google this week has announced the release of KataOS as their newest operating system effort focused on embedded devices running ambient machine learning workloads. KataOS is security-minded, exclusively uses the Rust programming language, and is built atop the seL4 microkernel as its foundation.
KataOS is intended for use with the ever-growing number of smart devices with a particular emphasis on embedded hardware running machine learning applications. Given the increasing industry focus of RISC-V, that CPU architecture is a primary support focus for KataOS.