- Disable IOMMU in your BIOS
- In /etc/default/grub, add
"iommu=soft"
toGRUB_CMD_LINUX
(if there is already content in there, ex "rhgb quiet", append iommu=soft to it, EXGRUB_CMD_LINUX="rhgb quiet iommu=soft"
)
Krister explains the changes really well in his blog