These systems are making me fantasize about a Xen reimplementation in Rust. Rust on the bottom, OCaml on top, one very hard to ACE stack :)