| # SPDX-License-Identifier: GPL-2.0-only | 
 | if PCI && MMU | 
 | config VFIO_PCI_CORE | 
 | 	tristate | 
 | 	select VFIO_VIRQFD | 
 | 	select IRQ_BYPASS_MANAGER | 
 |  | 
 | config VFIO_PCI_MMAP | 
 | 	def_bool y if !S390 | 
 |  | 
 | config VFIO_PCI_INTX | 
 | 	def_bool y if !S390 | 
 |  | 
 | config VFIO_PCI | 
 | 	tristate "Generic VFIO support for any PCI device" | 
 | 	select VFIO_PCI_CORE | 
 | 	help | 
 | 	  Support for the generic PCI VFIO bus driver which can connect any | 
 | 	  PCI device to the VFIO framework. | 
 |  | 
 | 	  If you don't know what to do here, say N. | 
 |  | 
 | if VFIO_PCI | 
 | config VFIO_PCI_VGA | 
 | 	bool "Generic VFIO PCI support for VGA devices" | 
 | 	depends on X86 && VGA_ARB | 
 | 	help | 
 | 	  Support for VGA extension to VFIO PCI.  This exposes an additional | 
 | 	  region on VGA devices for accessing legacy VGA addresses used by | 
 | 	  BIOS and generic video drivers. | 
 |  | 
 | 	  If you don't know what to do here, say N. | 
 |  | 
 | config VFIO_PCI_IGD | 
 | 	bool "Generic VFIO PCI extensions for Intel graphics (GVT-d)" | 
 | 	depends on X86 | 
 | 	default y | 
 | 	help | 
 | 	  Support for Intel IGD specific extensions to enable direct | 
 | 	  assignment to virtual machines.  This includes exposing an IGD | 
 | 	  specific firmware table and read-only copies of the host bridge | 
 | 	  and LPC bridge config space. | 
 |  | 
 | 	  To enable Intel IGD assignment through vfio-pci, say Y. | 
 | endif | 
 |  | 
 | source "drivers/vfio/pci/mlx5/Kconfig" | 
 |  | 
 | source "drivers/vfio/pci/hisilicon/Kconfig" | 
 |  | 
 | endif |