The Linux kernel in this repository is the Linux kernel from Xilinx together with drivers & patches applied from Analog Devices. Details about the drivers that are of interest [and supported] by this ...