Redox estas Unikso-similaj OS skribita en Rust, celanta alporti la novigoj de Rust al moderna mikrokerneto kaj plena aro de aplikoj.