You could probably do something simpler now since the new ARMs have good hardware virtualization support.