16.04.24 12:36, Andrew Cooper:
Everything else seems ok, but there's no inherent dependency between VMX/SVM and IOMMUs. There are certain features (HAP/IOMMU pagetable sharing, posted interrupts) which do depend on both, but the vast majority of functionality is independent. It would be a legitimate config (although getting less plausible, these days) to have PV && IOMMU && !HVM. Furthermore, randconfig will do a better job without such restrictions in place.
understood. I'll make a patch instead to guard posted interrupts calls from iommu driver.
-Sergiy