1# SPDX-License-Identifier: GPL-2.0-only 2menu "VFIO support for platform devices" 3 depends on ARM || ARM64 || COMPILE_TEST 4 5config VFIO_PLATFORM_BASE 6 tristate 7 select VFIO_VIRQFD 8 9config VFIO_PLATFORM 10 tristate "Generic VFIO support for any platform device" 11 select VFIO_PLATFORM_BASE 12 help 13 Support for platform devices with VFIO. This is required to make 14 use of platform devices present on the system using the VFIO 15 framework. 16 17 If you don't know what to do here, say N. 18 19config VFIO_AMBA 20 tristate "VFIO support for AMBA devices (DEPRECATED)" 21 depends on ARM_AMBA || COMPILE_TEST 22 select VFIO_PLATFORM_BASE 23 help 24 The vfio-amba driver is deprecated and will be removed in a 25 future kernel release. 26 27 Support for ARM AMBA devices with VFIO. This is required to make 28 use of ARM AMBA devices present on the system using the VFIO 29 framework. 30 31 If you don't know what to do here, say N. 32 33menu "VFIO platform reset drivers" 34 depends on VFIO_PLATFORM_BASE 35 36source "drivers/vfio/platform/reset/Kconfig" 37endmenu 38endmenu 39