GitHub - Digilent/linux-Digilent-Dev: Linux Kernel Repository for Digilent FPGA Boards (downstream from Xilinx Official Repository)
Linux Kernel Repository for Digilent FPGA Boards (downstream from Xilinx Official Repository) - Digilent/linux-Digilent-Dev