Redox è un sistema operativo basato su microkernel generico Unix-like scritto in Rust. L’obiettivo di portare le innovazioni di Rust in un microkernel moderno ed un set completo di programmi per essere una valida alternativa a Linux e BSD.

• Ispirato a Plan 9, Minix, seL4, BSD e Linux
• Implemented in Rust
• Basato su Microkernel
• Include una GUI opzionale Orbital
• Parziale compatibilità allo standard POSIX
• Programmi e codice compatibile con i sistemi Linux/BSD
• Licenza MIT
• Supporto alla Libreria Rust Standard
• Drivers nello spazio utente
• Strumenti Unix/Linux
• Libreria C personalizzata scritta in Rust (relibc)