Short Version I followed the excellent PCI passthrough via OVMF Arch Linux wiki article and everything works well. Long Version Motivation Throughout the years, I’ve had a dedicated Windows computer sitting around. It would typically sit idle 99% of the time until I needed to build/test Windows software, update the firmware of some device, or decided to play some Windows exclusive game. Even though I’ve known that passing through PCI devices has been successful for many people for a few years, my first try at enabling IOMMU support on an AMD machine caused an early Linux boot up failure which took enabling various eccentric boot flags to diagnose.