| # 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" |