Boken «Hardware and Software Support for Virtualization» tar for seg den sentrale problemstillingen om den nødvendige arkitektoniske støtten fra maskinvare for effektiv drift av virtuelle maskiner, samt den tilhørende designen av hypervisorene som administrerer disse. Selv om virtualisering fortsatt kan implementeres når instruksjonssettarkitekturen mangler slik støtte, blir hypervisoren mer kompleks og må ty til ytterligere teknikker. Til tross for fokuset på arkitektonisk støtte i moderne systemer, er det viktig å sette problemstillingen i et historisk perspektiv. Den første delen av boken gir en historisk oversikt over det teoretiske rammeverket som ble utviklet for over fire tiår siden av Popek og Goldberg. Den beskriver også tidligere systemer som muliggjorde virtualisering til tross for manglende arkitektonisk støtte fra maskinvaren. Som ofte er tilfelle, definerer teorien et nødvendig — men ikke tilstrekkelig — sett av egenskaper, og moderne arkitekturer er resultatet av sammensmeltingen av teoretiske rammer med innsikter fra praktiske systemer.
