Bare-Metal Hypervisor or Real Time OS

I would like to implement different operating systems in parallel on the Jetson TK1, each encapsulated in an virtual machine. Is there any hypervisor available which uses the hardware support for virtualization of the Cortex-A15 architecture (Sysgo PikeOS etc.)?

I’m not sure which revision this ARM CPU is, but you might find something here about hypervisors on Cortex-A15 MPCore:
http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.subset.swdev.abi/index.html