This repository contains Embedded Linux kernel source code for Xilinx devices. - View it on GitHub