| Current Path : /usr/src/linux-headers-5.4.0-216/drivers/vfio/platform/ |
Linux ift1.ift-informatik.de 5.4.0-216-generic #236-Ubuntu SMP Fri Apr 11 19:53:21 UTC 2025 x86_64 |
| Current File : //usr/src/linux-headers-5.4.0-216/drivers/vfio/platform/Kconfig |
# 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"