Requerimientos de virtualización de Popek y Goldberg