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)

This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.