O Redox é um sistema operacional Unix-like escrito em Rust, que busca trazer as inovações desta linguagem de programação para um microkernel moderno e um conjunto completo de aplicações.