| 1234567891011121314151617181920212223242526272829303132333435 |
- # SPDX-License-Identifier: GPL-2.0-only
- menu "VFIO support for platform devices"
- depends on ARM || ARM64 || COMPILE_TEST
- config VFIO_PLATFORM_BASE
- tristate
- select VFIO_VIRQFD
- config VFIO_PLATFORM
- tristate "Generic VFIO support for any platform device"
- select VFIO_PLATFORM_BASE
- 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.
- config VFIO_AMBA
- tristate "VFIO support for AMBA devices"
- depends on ARM_AMBA || COMPILE_TEST
- select VFIO_PLATFORM_BASE
- 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.
- menu "VFIO platform reset drivers"
- depends on VFIO_PLATFORM_BASE
- source "drivers/vfio/platform/reset/Kconfig"
- endmenu
- endmenu
|
