Redox é um sistema operacional de microkernel tipo Unix escrito na linguagem de programação Rust, uma linguagem com foco na segurança e alto desempenho. [2][3][4 O Redox pretende ser seguro, utilizável e livre. O Redox é inspirado por kernels anteriores e sistemas operacionais, como SeL4, MINIX, Plan 9 e BSD. É semelhante ao ecossistema GNU ou BSD, mas em uma linguagem segura de memória e com tecnologia moderna. [5] É software livre e de código aberto distribuído sob uma licença MIT.