diff options
| author | Alex Williamson <alex.williamson@redhat.com> | 2013-02-18 10:11:13 -0700 |
|---|---|---|
| committer | Alex Williamson <alex.williamson@redhat.com> | 2013-02-18 10:11:13 -0700 |
| commit | 84237a826b261de7ddd3d09ee53ee68cb4138937 (patch) | |
| tree | ab0c6d1d07abd74e90db41521258615fc1eaa211 /drivers/vfio/pci/Kconfig | |
| parent | 2dd1194833de133960f286903ce704cb10fa7eb0 (diff) | |
| download | linux-84237a826b261de7ddd3d09ee53ee68cb4138937.tar.bz2 | |
vfio-pci: Add support for VGA region access
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>
Diffstat (limited to 'drivers/vfio/pci/Kconfig')
| -rw-r--r-- | drivers/vfio/pci/Kconfig | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/drivers/vfio/pci/Kconfig b/drivers/vfio/pci/Kconfig index 5980758563eb..e84300b268b6 100644 --- a/drivers/vfio/pci/Kconfig +++ b/drivers/vfio/pci/Kconfig @@ -6,3 +6,13 @@ config VFIO_PCI 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. |