#options vfio-pci ids=10de:1200,10de:0e0c #options vfio-pci disable_vga=1 options vfio_iommu_type1 allow_unsafe_interrupts=1