Xilinx Linux ARM kernel with integrated official Xylon IP core drivers.