Linux kernel driver for the Device Feature List framework for FPGA devices - View it on GitHub