84237a826b
PCI defines display class VGA regions at I/O port address 0x3b0, 0x3c0 and MMIO address 0xa0000. As these are non-overlapping, we can ignore the I/O port vs MMIO difference and expose them both in a single region. We make use of the VGA arbiter around each access to configure chipset access as necessary. Signed-off-by: Alex Williamson <alex.williamson@redhat.com>
19 lines
600 B
Plaintext
19 lines
600 B
Plaintext
config VFIO_PCI
|
|
tristate "VFIO support for PCI devices"
|
|
depends on VFIO && PCI && EVENTFD
|
|
help
|
|
Support for the PCI VFIO bus driver. This is required to make
|
|
use of PCI drivers using the VFIO framework.
|
|
|
|
If you don't know what to do here, say N.
|
|
|
|
config VFIO_PCI_VGA
|
|
bool "VFIO PCI support for VGA devices"
|
|
depends on VFIO_PCI && X86 && VGA_ARB && EXPERIMENTAL
|
|
help
|
|
Support for VGA extension to VFIO PCI. This exposes an additional
|
|
region on VGA devices for accessing legacy VGA addresses used by
|
|
BIOS and generic video drivers.
|
|
|
|
If you don't know what to do here, say N.
|