36 lines · plain
1# SPDX-License-Identifier: GPL-2.0-only2menu "VFIO support for platform devices"3 depends on ARM || ARM64 || COMPILE_TEST4 5config VFIO_PLATFORM_BASE6 tristate7 select VFIO_VIRQFD8 9config VFIO_PLATFORM10 tristate "Generic VFIO support for any platform device"11 select VFIO_PLATFORM_BASE12 help13 Support for platform devices with VFIO. This is required to make14 use of platform devices present on the system using the VFIO15 framework.16 17 If you don't know what to do here, say N.18 19config VFIO_AMBA20 tristate "VFIO support for AMBA devices"21 depends on ARM_AMBA || COMPILE_TEST22 select VFIO_PLATFORM_BASE23 help24 Support for ARM AMBA devices with VFIO. This is required to make25 use of ARM AMBA devices present on the system using the VFIO26 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_BASE32 33source "drivers/vfio/platform/reset/Kconfig"34endmenu35endmenu36