FPGA Region

modulename: fpga-region.ko

configname: CONFIG_FPGA_REGION

Linux Kernel Configuration
└─>Device Drivers
└─>FPGA Configuration Framework
└─>Device Tree and Open Firmware support
└─>FPGA Region
In linux kernel since version 3.10 (release Date: 2013-06-30)  
FPGA Regions allow loading FPGA images under control of
the Device Tree.

source code: