Ling is highly compatible (with R15B) Erlang VM that is capable to run over bare virtual iron on Xen hypervisor without the need in underlying operating system. Learn more on : http://erlangonxen.org/ There are similar projects for OCaml http://www.openmirage.org/ and Haskell http://halvm.org/