Um provedor de infraestrutura implementou uma plataforma de virtualização em que o sistema hospedeiro não executa um sistema operacional convencional, mas sim um núcleo mínimo — denominado microkernel — responsável por orquestrar máquinas virtuais diretamente, com uma delas (domínio privilegiado) executando um sistema operacional completo para gerenciar dispositivos e drivers em nome das demais. Nesse cenário, a tecnologia de virtualização empregada é: