[ajross]

Last I remember reading ARMv7 wasn't Popek/Goldberg valid. The Cortex-A15 is touted as adding this facility, no? Regardless, a 4G box is going to be a poor resource allocation environment for virtualized hosting, which is something closer to my point.

[lgeek]

Yes, not all ARMv7 instructions meet the Popek/Goldberg virtualization criteria. The project I'm working on uses dynamic binary translation to trap & interpret these instructions. This is how VMware works without virtualization extensions on x86.