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