FPGA Region Device Tree Overlay Support

modulename: of-fpga-region.ko

configname: CONFIG_OF_FPGA_REGION

Linux Kernel Configuration
└─>Device Drivers
└─>FPGA Configuration Framework
└─>Device Tree and Open Firmware support
└─>FPGA Region Device Tree Overlay Support
In linux kernel since version 4.2 (release Date: 2015-08-30)  
Support for loading FPGA images by applying a Device Tree
overlay.

source code: