Could be interesting to port Hubris to x86_64 and use it on bare metal commodity hardware -- specifically to run Rust server code, with perhaps a perf advantage

Could be interesting to port Hubris to x86_64 and use it on bare metal commodity hardware -- specifically to run Rust server code, with perhaps a perf advantage over larger OSes? Though the biggest advantage to Rust-on-bare-metal would have been running all the code in kernel space, which it seems Tasks don't allow for (in order to provide robustness at the OS level).