CONFIG_VFIO_PCI was not "default y" - and once you do that, it is also important to disable it if PCI is not there.
Reported-by: Alex Williamson <alex.william...@redhat.com> Tested-by: Alex Williamson <alex.william...@redhat.com> Signed-off-by: Paolo Bonzini <pbonz...@redhat.com> --- hw/vfio/Kconfig | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/hw/vfio/Kconfig b/hw/vfio/Kconfig index ebda9fd..34da2a3 100644 --- a/hw/vfio/Kconfig +++ b/hw/vfio/Kconfig @@ -4,8 +4,9 @@ config VFIO config VFIO_PCI bool + default y select VFIO - depends on LINUX + depends on LINUX && PCI config VFIO_CCW bool -- 1.8.3.1