1# SPDX-License-Identifier: GPL-2.0-only 2config VFIO_PLATFORM 3 tristate "VFIO support for platform devices" 4 depends on ARM || ARM64 || COMPILE_TEST 5 select VFIO_VIRQFD 6 help 7 Support for platform devices with VFIO. This is required to make 8 use of platform devices present on the system using the VFIO 9 framework. 10 11 If you don't know what to do here, say N. 12 13if VFIO_PLATFORM 14config VFIO_AMBA 15 tristate "VFIO support for AMBA devices" 16 depends on ARM_AMBA || COMPILE_TEST 17 help 18 Support for ARM AMBA devices with VFIO. This is required to make 19 use of ARM AMBA devices present on the system using the VFIO 20 framework. 21 22 If you don't know what to do here, say N. 23 24source "drivers/vfio/platform/reset/Kconfig" 25endif 26