drivers/vfio/platform/Kconfig

   1 # SPDX-License-Identifier: GPL-2.0-only
   2 config VFIO_PLATFORM
   3         tristate "VFIO support for platform devices"
   4         depends on VFIO && EVENTFD && (ARM || ARM64)
   5         select VFIO_VIRQFD
   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.
  12
  13 config 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.
  22
  23 source "drivers/vfio/platform/reset/Kconfig"