Redox OS

Sistema tipo Unix escrito entero en Rust, con microkernel. Persigue la idea de que la memoria segura del lenguaje elimine de raíz clases enteras de fallos que arrastran los sistemas escritos en C. Va despacio, pero ya arranca un escritorio.