ACRN - A Big Little Hypervisor for IoT Development

Seems to be focused on x86 at this time: