The driver will work with any IOMMU that supports the necessary standard PCIe ATS/PRI hw features. The intel IOMMU hw does not.