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...