CONFIG_VFIO_PLATFORM_BASE (not configurable)

modulename: vfio-platform-base.ko

configname: CONFIG_VFIO_PLATFORM_BASE

Linux Kernel Configuration
└─>Device Drivers
└─>VFIO Non-Privileged userspace driver framework
└─>VFIO support for platform devices
└─>VFIO_PLATFORM_BASE
In linux kernel since version 4.14.326 (release Date: 2023-09-23)  
source code:
drivers/vfio/platform/

depends
CONFIG_VFIO
CONFIG_ARM or CONFIG_ARM64 or CONFIG_COMPILE_TEST