Nie wiedziaem ze coś takiego jest.
Mikrokernel napisany w Rust i nie tylko mikrokernel ale całe środowisko
w którym ten mikrokernel działa.
Tak jak przesiadłem się z Windows na Linuxa (na Minta Cinnamon) tak może
da się przesiaść na Redoxa

https://doc.redox-os.org/book/introduction/why_redox
.html