Google apresenta KataOS, sistema operacional para sistemas embarcados

O objetivo do KataOS é ser uma plataforma segura e otimizada para dispositivos que executam aplicativos de machine learning.

Ele é escrito quase inteiramente em Rust, com exceção do microkernel subjacente, que é em seL4. Como o seL4 é implementado em C, o projeto usa CAmkES – arquitetura de componentes para sistemas embarcados baseados em microkernel, que usa Haskell e Python – como uma camada de abstração para unir as camadas C e Rust.

O sistema operacional está sendo desenvolvido para o conjunto de instruções Arm64, com planos para RISC-V.