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.