[vortico]

The boot code Pure64 is really cool, and your Rust code is a good demonstration of its simplicity. I should try this out sometime.