Hi Matthias,
 
>You may have a look at the Karma VMM (www.karma-vmm.org).

>Matthias.
 
That helps me a lot. Karma is a new VMM on microkernel which looks much like L4Linux in my opinion! Is it now supporting java enviroment like nova?
Best,
Chen