Google has announced KataOS, a secure operating system, as their latest operating system focused on embedded devices running environments focused on machine learning workloads. With security in mind, KataOS is developed exclusively in Rust and is built on the seL4 microkernel. Through the seL4 CAmkES framework, we are also able to provide statically defined and analyzable system components. KataOS provides a verifiably secure platform to ensure…

#Google #launches #KataOS #secure #operating #system #Rust #seL4 #microkernels