# SPDX-License-Identifier: GPL-2.0-only
menu "VFIO support for platform devices"
 depends on ARM || ARM64 || COMPILE_TEST

config VFIO_PLATFORM_BASE
 tristate
 select VFIO_VIRQFD

config VFIO_PLATFORM
 tristate "Generic VFIO support for any platform device"
 select VFIO_PLATFORM_BASE
 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 ARM_AMBA || COMPILE_TEST
 select VFIO_PLATFORM_BASE
 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.

menu "VFIO platform reset drivers"
 depends on VFIO_PLATFORM_BASE

source "drivers/vfio/platform/reset/Kconfig"
endmenu
endmenu