Xilinx Linux ARM kernel with integrated official Xylon drivers.