There is also Redox OS as another rust project. I'll edit with a link later but y'all know how to google.