# SPDX-License-Identifier: GPL-2.0-only config [31mCONFIG_VFIO_PLATFORM[0m tristate "VFIO support for platform devices" depends on [31mCONFIG_VFIO[0m && [31mCONFIG_EVENTFD[0m && ([31mCONFIG_ARM[0m || [31mCONFIG_ARM64[0m) select [31mCONFIG_VFIO_VIRQFD[0m help Support for platform devices with [31mCONFIG_VFIO[0m. This is required to make use of platform devices present on the system using the [31mCONFIG_VFIO[0m framework. If you don't know what to do here, say N. config [31mCONFIG_VFIO_AMBA[0m tristate "VFIO support for AMBA devices" depends on [31mCONFIG_VFIO_PLATFORM[0m && [31mCONFIG_ARM_AMBA[0m help Support for [31mCONFIG_ARM[0m AMBA devices with [31mCONFIG_VFIO[0m. This is required to make use of [31mCONFIG_ARM[0m AMBA devices present on the system using the [31mCONFIG_VFIO[0m framework. If you don't know what to do here, say N. source "drivers/vfio/platform/reset/Kconfig" |