Para especificar que el dominio utilizará virtualización por hardware en lugar de paravirtualización, se deben realizar los siguientes cambios en el archivo de configuración: