Google anuncia sistema operacional KataOS com foco em segurança

Além disso, o sistema operacional aproveita o Rust e microkernel seL4.