VFIO support for AMBA devices

modulename: vfio-platform-base.ko

and/or

vfio-amba.ko

configname: CONFIG_VFIO_AMBA

Linux Kernel Configuration
└─>Device Drivers
└─>VFIO support for AMBA devices
In linux kernel since version 3.10 (release Date: 2013-06-30)
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 code:
selects
CONFIG_VFIO_PLATFORM_BASE

depends
CONFIG_ARM_AMBA
CONFIG_VFIO_PLATFORM or CONFIG_ARM_AMBA or CONFIG_COMPILE_TEST or CONFIG_ARM64