Ling, the Erlang VM directly on Xen seems neat.[0]
Folks have talked about composable OS frameworks / domain-specific OSes in the usual suspects of Erlang, OCaml, perhaps Haskell... especially useful for soft-realtime / embedded.
Irdis is neat.[1]
HaLVM is similar sort of project which uses the Haskell VM.