CONFIG_FPGA_MGR_XILINX_CORE (not configurable)
modulename: xilinx-core.ko
configname: CONFIG_FPGA_MGR_XILINX_CORE
Linux Kernel Configuration
└─>Device Drivers
└─>FPGA Configuration Framework
└─>FPGA_MGR_XILINX_CORE