The seL4 Foundation welcomes the open-sourcing of core components of KataOS created by our Member Google. KataOS is based on seL4 and implemented mostly in the Rust programming language. KataOS is to be combined with a secure hardware platform on the RISC-V architecture.
This is an exciting addition to the seL4 ecosystem that will ease deployment of seL4-based systems. It also adds improved support for running Rust programs on seL4, which is a hot topic in the seL4 community.