VFIO PCI never worked on PPC32 nor ARM, S390x is 64-bit, it might have worked on i386 long ago but we have no plans to further support VFIO on any 32-bit host platforms. Restrict to 64-bit host platforms.
Cc: Harsh Prateek Bora <hars...@linux.ibm.com> Cc: Tony Krowiak <akrow...@linux.ibm.com> Cc: Eric Farman <far...@linux.ibm.com> Cc: Eric Auger <eric.au...@redhat.com> Signed-off-by: Cédric Le Goater <c...@redhat.com> --- hw/vfio/Kconfig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hw/vfio/Kconfig b/hw/vfio/Kconfig index 7cdba0560aa821c88d3420b36f86020575834202..6ed825429a9151fcdff33e95d1a310210689b258 100644 --- a/hw/vfio/Kconfig +++ b/hw/vfio/Kconfig @@ -7,7 +7,7 @@ config VFIO_PCI default y select VFIO select EDID - depends on LINUX && PCI + depends on LINUX && PCI && (AARCH64 || PPC64 || X86_64 || S390X) config VFIO_CCW bool -- 2.48.1