FPGA DFL PCIe Device Driver

modulename: dfl-pci.ko

configname: CONFIG_FPGA_DFL_PCI

Linux Kernel Configuration
└─>Device Drivers
└─>FPGA Configuration Framework
└─>PCI support
└─>FPGA DFL PCIe Device Driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Select this option to enable PCIe driver for PCIe-based
Field-Programmable Gate Array (FPGA) solutions which implement
the Device Feature List (DFL). This driver provides interfaces
for userspace applications to configure, enumerate, open and access
FPGA accelerators on the FPGA DFL devices, enables system level
management functions such as FPGA partial reconfiguration, power
management and virtualization with DFL framework and DFL feature
device drivers.

To compile this as a module, choose M here.

source code: