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
46
47source "drivers/vfio/pci/mlx5/Kconfig"
48
49source "drivers/vfio/pci/hisilicon/Kconfig"
50
51endif
52