Xilinx Versal FPGA

modulename: versal-fpga.ko

configname: CONFIG_FPGA_MGR_VERSAL_FPGA

Linux Kernel Configuration
└─>Device Drivers
└─>FPGA Configuration Framework
└─>Xilinx Versal FPGA
In linux kernel since version 5.2 (release Date: 2019-07-07)  
Select this option to enable FPGA manager driver support for
Xilinx Versal SoC. This driver uses the firmware interface to
configure the programmable logic(PL).

To compile this as a module, choose M here.

source code:
depends
CONFIG_FPGA
CONFIG_ARCH_ZYNQMP or CONFIG_COMPILE_TEST