Interesting, reminds me of HaLVM (Haskell on Xen) and Mirage OS (OCaml):

- https://github.com/galoisinc/halvm

- http://www.openmirage.org/