LPC: Control groups

"Containers tend to be more efficient than pure virtualization; they are also, he said, the only form of virtualization available for the ARM architecture at the moment."

Seriously - has he tried using google? A quick google for "ARM virtualization" shows several virtualization solutions available from Open Kernel Labs, VirtualLogix, and Xen! All on the first page of hits.