Redox — это Unix-подобная операционная система с микроядром, написанная на языке программирования Rust, языке с упором на безопасность и высокую производительность.[2][3][4] Redox стремится быть безопасным, удобным и бесплатным. Redox вдохновлен предыдущими ядрами и операционными системами, такими как SeL4, MINIX, Plan 9 и BSD. Это похоже на экосистему GNU или BSD, но на безопасном для памяти языке и с современными технологиями.[5] Это бесплатное программное обеспечение с открытым исходным кодом, распространяемое по лицензии MIT.