ec8f24b7fa
Add SPDX license identifiers to all Make/Kconfig files which: - Have no license information of any form These files fall under the project license, GPL v2 only. The resulting SPDX license identifier is: GPL-2.0-only Signed-off-by: Thomas Gleixner <tglx@linutronix.de> Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
24 lines
713 B
Plaintext
24 lines
713 B
Plaintext
# SPDX-License-Identifier: GPL-2.0-only
|
|
config VFIO_PLATFORM
|
|
tristate "VFIO support for platform devices"
|
|
depends on VFIO && EVENTFD && (ARM || ARM64)
|
|
select VFIO_VIRQFD
|
|
help
|
|
Support for platform devices with VFIO. This is required to make
|
|
use of platform devices present on the system using the VFIO
|
|
framework.
|
|
|
|
If you don't know what to do here, say N.
|
|
|
|
config VFIO_AMBA
|
|
tristate "VFIO support for AMBA devices"
|
|
depends on VFIO_PLATFORM && ARM_AMBA
|
|
help
|
|
Support for ARM AMBA devices with VFIO. This is required to make
|
|
use of ARM AMBA devices present on the system using the VFIO
|
|
framework.
|
|
|
|
If you don't know what to do here, say N.
|
|
|
|
source "drivers/vfio/platform/reset/Kconfig"
|