The official Xilinx u-boot repository
https://openzfs.org/
My ICS-PA exercises. Hopefully I will reach the destination!
The official Linux kernel from Xilinx