| # 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 (DEPRECATED)" | |
| depends on ARM_AMBA || COMPILE_TEST | |
| select VFIO_PLATFORM_BASE | |
| help | |
| The vfio-amba driver is deprecated and will be removed in a | |
| future kernel release. | |
| 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 |