O Redox é um sistema operacional Unix-like de propósito geral baseado em microkernel e escrito em Rust, que busca trazer as inovações desta linguagem de programação para um microkernel moderno, um conjunto completo de programas e ser uma alternativa completa ao Linux e BSD.