...
Xilinx Open Source Linux is an open source project where key components are made available to users via two mechanisms:
The Xilinx Git contains U-Boot, ARM Trusted Firmware, Linux kernel, GDB, GCC, libraries and other system software
This Xilinx wiki contains documentation meant to guide the use of those software components
The software found in the Xilinx Git enables customers and partners with frequent updates to essential software, for inclusion within their own products, and development systems or tools.
...