Redox, Rust ile yazılan ve Rust dilinin yeniliklerini modern mikrokernel ve tam bir uygulama setine getirmeyi amaçlayan Unix benzeri bir işletim sistemidir.