Galois (a haskell shop) has recently released a port of the GHC Haskell runtime to Xen (http://halvm.org/wiki/). This seems like a promising approach to build single task images with the high level abstraction of a functional language but the low level access to the machine.