A language-based OS to run Rust on bare metal