2019-05-19 13:07:45 +01:00
|
|
|
# SPDX-License-Identifier: GPL-2.0-only
|
2023-06-14 13:39:47 -06:00
|
|
|
menu "VFIO support for platform devices"
|
2021-08-26 13:39:11 +03:00
|
|
|
depends on ARM || ARM64 || COMPILE_TEST
|
2023-06-14 13:39:47 -06:00
|
|
|
|
|
|
|
config VFIO_PLATFORM_BASE
|
|
|
|
tristate
|
2015-03-17 08:33:38 -06:00
|
|
|
select VFIO_VIRQFD
|
2023-06-14 13:39:47 -06:00
|
|
|
|
|
|
|
config VFIO_PLATFORM
|
|
|
|
tristate "Generic VFIO support for any platform device"
|
|
|
|
select VFIO_PLATFORM_BASE
|
2015-03-16 14:08:44 -06:00
|
|
|
help
|
|
|
|
Support for platform devices with VFIO. This is required to make
|
|
|
|
use of platform devices present on the system using the VFIO
|
|
|
|
framework.
|
|
|
|
|
|
|
|
If you don't know what to do here, say N.
|
2015-03-16 14:08:45 -06:00
|
|
|
|
|
|
|
config VFIO_AMBA
|
|
|
|
tristate "VFIO support for AMBA devices"
|
2021-08-26 13:39:11 +03:00
|
|
|
depends on ARM_AMBA || COMPILE_TEST
|
2023-06-14 13:39:47 -06:00
|
|
|
select VFIO_PLATFORM_BASE
|
2015-03-16 14:08:45 -06:00
|
|
|
help
|
|
|
|
Support for ARM AMBA devices with VFIO. This is required to make
|
|
|
|
use of ARM AMBA devices present on the system using the VFIO
|
|
|
|
framework.
|
|
|
|
|
|
|
|
If you don't know what to do here, say N.
|
2015-06-15 11:09:45 +02:00
|
|
|
|
2023-06-14 13:39:47 -06:00
|
|
|
menu "VFIO platform reset drivers"
|
|
|
|
depends on VFIO_PLATFORM_BASE
|
|
|
|
|
2015-06-15 11:09:45 +02:00
|
|
|
source "drivers/vfio/platform/reset/Kconfig"
|
2023-06-14 13:39:47 -06:00
|
|
|
endmenu
|
|
|
|
endmenu
|