VFIO support for AMBA devices

modulename: vfio-amba.ko

and/or

vfio-platform-base.ko

configname: CONFIG_VFIO_AMBA

Linux Kernel Configuration
└─>Device Drivers
└─>VFIO Non-Privileged userspace driver framework
└─>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:
depends
CONFIG_VFIO
CONFIG_VFIO_PLATFORM
CONFIG_ARM_AMBA or CONFIG_COMPILE_TEST