SoC EDS issue

Hi, I attempted the SoC EDS as per the pdf SoC_software_lab_16.0.pdf on rocketboards.org. I was asked to see the link to create a u-boot-socfpga. In that, it was told to clone a github file which ...