Ano, ARM bude umět virtualizovat, ale je to proti celé myšlence mikroserverů. Do 2U racku strkáte blejdy se čtyřma diskama a čtyčma ARM procesorama. Tohle nechcete virtualizovat, výkon na rozdávání ARM nemá a s x86 se asi nikdy měřit nebude, ale překonává to množstvím.
Je to prostě opačný přístup, u x86 má smysl over-provisioning, u ARMu nikoliv.
Je to dané celou myšlenkou Spice - je to zadrátováno ve virtualizační vrstvě, někde v grafickém ovladači. Nejsem expert na Spice, ale takhle nějak to funguje. Bylo mi řečeno, že bez virtualizace to nefunguje (resp. nelze dosáhnout takových fantastických výsledků jakože přehráváte HD video na dálku).