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

Source: LXer – Google reveals another experimental operating system: KataOS