Curtis Walker@alphasnupeKataOS looks very interesting. Written in Rust, uses seL4 as a separation microkernel, OpenTitan as an RoT and runs on RISC-V.opensource.googleblog.comAnnouncing KataOS and SparrowWe've open sourced several components for our secure operating system, called KataOS, on GitHub, as well as partnered with Antmicro2:37 AM · Oct 28, 2022·Twitter for Android5 Likes
