drivers/vfio/platform/Kconfig

   1 # SPDX-License-Identifier: GPL-2.0-only
   2 menu "VFIO support for platform devices"
   3         depends on ARM || ARM64 || COMPILE_TEST
   4
   5 config VFIO_PLATFORM_BASE
   6         tristate
   7         select VFIO_VIRQFD
   8
   9 config VFIO_PLATFORM
  10         tristate "Generic VFIO support for any platform device"
  11         select VFIO_PLATFORM_BASE
  12         help
  13           Support for platform devices with VFIO. This is required to make
  14           use of platform devices present on the system using the VFIO
  15           framework.
  16
  17           If you don't know what to do here, say N.
  18
  19 config VFIO_AMBA
  20         tristate "VFIO support for AMBA devices"
  21         depends on ARM_AMBA || COMPILE_TEST
  22         select VFIO_PLATFORM_BASE
  23         help
  24           Support for ARM AMBA devices with VFIO. This is required to make
  25           use of ARM AMBA devices present on the system using the VFIO
  26           framework.
  27
  28           If you don't know what to do here, say N.
  29
  30 menu "VFIO platform reset drivers"
  31         depends on VFIO_PLATFORM_BASE
  32
  33 source "drivers/vfio/platform/reset/Kconfig"
  34 endmenu
  35 endmenu