so does redox at least this fork: https://github.com/pannous/redox completely Rust-based without any Makefiles.