Google reveals another experimental operating system: KataOS
Based on Rust, on top of seL4 - a big deal in the microkernel world Google, one of very few tech companies willing to experiment with new operating systems, has unveiled KataOS for embedded machine learning devices....