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