1 # SPDX-License-Identifier: GPL-2.0-only
3 tristate "VFIO support for PCI devices"
4 depends on VFIO && PCI && EVENTFD
6 select IRQ_BYPASS_MANAGER
8 Support for the PCI VFIO bus driver. This is required to make
9 use of PCI drivers using the VFIO framework.
11 If you don't know what to do here, say N.
14 bool "VFIO PCI support for VGA devices"
15 depends on VFIO_PCI && X86 && VGA_ARB
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.
21 If you don't know what to do here, say N.
32 bool "VFIO PCI extensions for Intel graphics (GVT-d)"
33 depends on VFIO_PCI && X86
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.
41 To enable Intel IGD assignment through vfio-pci, say Y.
43 config VFIO_PCI_NVLINK2
45 depends on VFIO_PCI && PPC_POWERNV
47 VFIO PCI support for P9 Witherspoon machine with NVIDIA V100 GPUs