GitHub repository: JDSquared/linux-xlnx
Primary language: C
Description: The official Linux kernel from Xilinx