There is Redox written in rust. https://gitlab.redox-os.org/redox-os/redox