1config VFIO_PCI
2	tristate "VFIO support for PCI devices"
3	depends on VFIO && PCI && EVENTFD
4	select VFIO_VIRQFD
5	select IRQ_BYPASS_MANAGER
6	help
7	  Support for the PCI VFIO bus driver.  This is required to make
8	  use of PCI drivers using the VFIO framework.
9
10	  If you don't know what to do here, say N.
11
12config VFIO_PCI_VGA
13	bool "VFIO PCI support for VGA devices"
14	depends on VFIO_PCI && X86 && VGA_ARB
15	help
16	  Support for VGA extension to VFIO PCI.  This exposes an additional
17	  region on VGA devices for accessing legacy VGA addresses used by
18	  BIOS and generic video drivers.
19
20	  If you don't know what to do here, say N.
21
22config VFIO_PCI_MMAP
23	depends on VFIO_PCI
24	def_bool y if !S390
25
26config VFIO_PCI_INTX
27	depends on VFIO_PCI
28	def_bool y if !S390
29