This is an old revision of the document!
.. GRUB_CMDLINE_LINUX_DEFAULT="quiet intel_iommu=on" ..
... vfio vfio_iommu_type1 vfio_pci vfio_virqfd ...
lspci -vn | less -p VGA
Look for “Kernel driver in use:”
... blacklist mgag200 blacklist nouveau ...
... auto eth0 iface eth0 inet manual auto br0 iface br0 inet dhcp bridge_ports eth0 ...
07:00.0 0300: 10de:0322 (rev a1) (prog-if 00 [VGA controller])
the PCI ID would be 10de:0322. The slot ID/address is 07:00.0
echo 0000:07:00.0 > /sys/bus/pci/devices/0000:07:00.0/driver/unbind
echo 102b 0522 > /sys/bus/pci/drivers/vfio-pci/new_id