Mirror of the official Linux kernel from Xilinx - View it on GitHub