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.
Redox OS , mikro çekirdeğe dayalı, Unix benzeri, genel amaçlı , çok görevli bir işletim sistemidir . Geliştiriciler onu Linux ve BSD ailelerinin Unix sistemlerine güvenli bir alternatif olarak konumlandırıyor ve POSIX standardıyla kısmi uyumluluk sağlıyor .
Geliştiriciler, özellikle Redox OS mikro çekirdeğinin ve genel olarak tüm işletim sistemi bileşenlerinin montaj dilinde ve giderek daha popüler hale gelen Rust programlama dilinde yazıldığını, bunun da hata ve güvenlik açığı olasılığını azalttığını belirtiyor. Redox OS’deki çoğu sistem bileşeni çekirdekten izole edilmiştir (örneğin, sürücüler kullanıcı alanında çalışır), böylece saldırı yüzeyi (olası sistem güvenlik açıklarının toplam sayısı) azaltılır.
Redox OS’yi oluştururken geliştirme ekibi, geçmişin ve günümüzün ikonik projelerinde yer alan fikirlerden ilham aldı: Plan 9 (“her şey bir dosyadır” konsepti), Minix (modülerlik, kritik çekirdek hatalarına karşı dayanıklılık, güvenli süreçler arası iletişim arayüzleri) , vb.), Sel4 (minimalist ve yüksek performanslı bir mikro çekirdek).
İşletim sistemi kaynak kodu , ücretsiz MIT lisansının koşulları altında dağıtılır . GitLab platformundaki halka açık bir depoda barındırılmaktadır .
Redox OS geliştirme ekibi 40’tan fazla kişiden oluşuyor. Jeremy Soller, lansmanından bu yana projenin başında bulunuyor . Redox OS’nin ilk sürümü Nisan 2015’te gerçekleşti.
Proje, Patreon , Donorbox platformları aracılığıyla çeşitli kanallar aracılığıyla bağış kabul eden ve projenin Bitcoin ve Ethereum cüzdanlarına transfer yapan , ABD’deki kar amacı gütmeyen bir kuruluş aracılığıyla finanse ediliyor. Ayrıca proje markalı giyim ve hediyelik eşyaların satışından da gelir elde ediyor
