Redox (işletim sistemi)
Redox, güvenlik, kararlılık ve performansa odaklanan Rust programlama dilinde yazılmış Unix benzeri bir mikro çekirdek işletim sistemidir. Redox güvenli, kullanılabilir ve özgür olmayı amaçlar. Redox, SeL4, MINIX, Plan 9 ve BSD gibi önceki çekirdeklerden ve işletim sistemlerinden esinlenmiştir.