VFIO support for platform devices

modulename: vfio-platform-base.ko

and/or

vfio-platform.ko

configname: CONFIG_VFIO_PLATFORM

Linux Kernel Configuration
└─>Device Drivers
└─>VFIO Non-Privileged userspace driver framework
└─>VFIO support for platform devices
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Support for platform devices with VFIO. This is required to make
use of platform devices present on the system using the VFIO
framework.

If you don't know what to do here, say N.

source code:

depends
CONFIG_EVENTFD
CONFIG_VFIO
CONFIG_ARM or CONFIG_ARM64 or CONFIG_COMPILE_TEST

is selected by
CONFIG_VFIO_AMBA