0001 # SPDX-License-Identifier: GPL-2.0-only
0002 config VFIO_PLATFORM
0003 tristate "VFIO support for platform devices"
0004 depends on ARM || ARM64 || COMPILE_TEST
0005 select VFIO_VIRQFD
0006 help
0007 Support for platform devices with VFIO. This is required to make
0008 use of platform devices present on the system using the VFIO
0009 framework.
0010
0011 If you don't know what to do here, say N.
0012
0013 if VFIO_PLATFORM
0014 config VFIO_AMBA
0015 tristate "VFIO support for AMBA devices"
0016 depends on ARM_AMBA || COMPILE_TEST
0017 help
0018 Support for ARM AMBA devices with VFIO. This is required to make
0019 use of ARM AMBA devices present on the system using the VFIO
0020 framework.
0021
0022 If you don't know what to do here, say N.
0023
0024 source "drivers/vfio/platform/reset/Kconfig"
0025 endif
