If this is true virtualization (I didn't read the link), I'd be interested to know how they plan to implement fault isolation on what I'm assuming is ARM v7 to prevent the virtualized OS to leak into the host. As I understand it, the architecture doesn't have this facility built in.