pode ser de tipo 1, que dá suporte a múltiplas cópias do hardware real, chamadas de máquinas virtuais.

pode ser de tipo 1, que suporta o sistema operacional Windows, enquanto o de tipo 2 suporta o sistema operacional Linux.

deve permitir que o comportamento de um programa em uma máquina virtual seja sempre superior àquele obtido quando esse programa é executado diretamente no hardware do computador.

recompila os programas, traduzindo-os para uma linguagem específica que possibilita as suas execuções em máquinas virtuais.

é responsável pela escolha de qual é o melhor sistema operacional que deve ser alocado a cada máquina virtual.