1# SPDX-License-Identifier: GPL-2.0-only 2if PCI && MMU 3config VFIO_PCI_CORE 4 tristate 5 select VFIO_VIRQFD 6 select IRQ_BYPASS_MANAGER 7 8config VFIO_PCI_MMAP 9 def_bool y if !S390 10 11config VFIO_PCI_INTX 12 def_bool y if !S390 13 14config VFIO_PCI 15 tristate "Generic VFIO support for any PCI device" 16 select VFIO_PCI_CORE 17 help 18 Support for the generic PCI VFIO bus driver which can connect any 19 PCI device to the VFIO framework. 20 21 If you don't know what to do here, say N. 22 23if VFIO_PCI 24config VFIO_PCI_VGA 25 bool "Generic VFIO PCI support for VGA devices" 26 depends on X86 && VGA_ARB 27 help 28 Support for VGA extension to VFIO PCI. This exposes an additional 29 region on VGA devices for accessing legacy VGA addresses used by 30 BIOS and generic video drivers. 31 32 If you don't know what to do here, say N. 33 34config VFIO_PCI_IGD 35 bool "Generic VFIO PCI extensions for Intel graphics (GVT-d)" 36 depends on X86 37 default y 38 help 39 Support for Intel IGD specific extensions to enable direct 40 assignment to virtual machines. This includes exposing an IGD 41 specific firmware table and read-only copies of the host bridge 42 and LPC bridge config space. 43 44 To enable Intel IGD assignment through vfio-pci, say Y. 45endif 46endif 47