Redox er et Unix-lignende operativsystem som er skrevet i programmeringsspråket Rust, for å bringe innovasjoner fra Rust til en moderne mikrokjerne med et komplett sett av programmer.