São exemplos de tecnologias de virtualização de servidores para arquitetura x86: