There's also NestedVM, http://nestedvm.ibex.org/ http://nestedvm.ibex.org/, which works my using gcc to cross compile to MIPS and then convert the MIPS machine

There's also NestedVM, http://nestedvm.ibex.org/ http://nestedvm.ibex.org/, which works my using gcc to cross compile to MIPS and then convert the MIPS machine code into a Java class file.