treewide: Add SPDX license identifier - Makefile/Kconfig
[linux-2.6-block.git] / drivers / vfio / platform / Kconfig
CommitLineData
ec8f24b7 1# SPDX-License-Identifier: GPL-2.0-only
53161532
AM
2config VFIO_PLATFORM
3 tristate "VFIO support for platform devices"
e6bcd47f 4 depends on VFIO && EVENTFD && (ARM || ARM64)
71be3423 5 select VFIO_VIRQFD
53161532
AM
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.
b13329ad
AM
12
13config VFIO_AMBA
14 tristate "VFIO support for AMBA devices"
15 depends on VFIO_PLATFORM && ARM_AMBA
16 help
17 Support for ARM AMBA devices with VFIO. This is required to make
18 use of ARM AMBA devices present on the system using the VFIO
19 framework.
20
21 If you don't know what to do here, say N.
713cc334
EA
22
23source "drivers/vfio/platform/reset/Kconfig"