BIOS

• Consulta el manual de la BIOS.

Linux Kernel

• Añadir las opciones necesarias al inicio

# vi /etc/default/grub
GRUB_CMDLINE_LINUX_DEFAULT="amd_iommu=on"

Para AMD, especifica amd_iommu=on, y para Intel, intel_iommu=on.

• Aplicar los cambios de GRUB

# update-grub

• Reiniciar

# reboot

• Verificar los parámetros

# cat /proc/cmdline

• Comprobar dmesg

# dmesg | grep iommu