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 ARM || ARM64 || COMPILE_TEST
   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 if VFIO_PLATFORM
  14 config VFIO_AMBA
  15         tristate "VFIO support for AMBA devices"
  16         depends on ARM_AMBA || COMPILE_TEST
  17         help
  18           Support for ARM AMBA devices with VFIO. This is required to make
  19           use of ARM AMBA devices present on the system using the VFIO
  20           framework.
  21
  22           If you don't know what to do here, say N.
  23
  24 source "drivers/vfio/platform/reset/Kconfig"
  25 endif