De hecho, se construyen a menudo VMMs para ISAs "no virtualizables" (en el sentido dado por Popek y Goldberg).