Repo manifest for GNU Radio on the Xilinx Zynq