1 # SPDX-License-Identifier: GPL-2.0-only
3 tristate "VFIO support for PCI devices"
4 depends on VFIO && PCI && EVENTFD
7 select IRQ_BYPASS_MANAGER
9 Support for the PCI VFIO bus driver. This is required to make
10 use of PCI drivers using the VFIO framework.
12 If you don't know what to do here, say N.
15 bool "VFIO PCI support for VGA devices"
16 depends on VFIO_PCI && X86 && VGA_ARB
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.
22 If you don't know what to do here, say N.
33 bool "VFIO PCI extensions for Intel graphics (GVT-d)"
34 depends on VFIO_PCI && X86
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.
42 To enable Intel IGD assignment through vfio-pci, say Y.