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" 21 depends on ARM_AMBA || COMPILE_TEST 22 select VFIO_PLATFORM_BASE 23 help 24 Support for ARM AMBA devices with VFIO. This is required to make 25 use of ARM AMBA devices present on the system using the VFIO 26 framework. 27 28 If you don't know what to do here, say N. 29 30menu "VFIO platform reset drivers" 31 depends on VFIO_PLATFORM_BASE 32 33source "drivers/vfio/platform/reset/Kconfig" 34endmenu 35endmenu 36