Google rewrites its new OS entire code in rust

You can see it here - A new operating system written in Rust - YouTube

KataOS is not a rewrite of Fuchsia, nor an OS entirely implementef in Rust. It is a Rust userspace for the seL4 microkernel/hypervisor. seL4 is written in C, but has a formal proof of correctness.[1] Google is still mostly working on Fuchsia. KataOS is nothing more than a research project as far as I know.

  1. For some definition of correctness. ↩ī¸Ž


It may be a side project or just a research but looks more secure.

IIRC KataOS is designed for iot devices, while Fuchsia is more targeting Android (or perhaps ChromeOS)