HDMI (ADV7511) Output Design on Zynq zc702
Since this was originally posted I have ditched this ADI-based design for one based off the TRD. For anyone with a similar problem, I found a correct build of the ADI reference design here (same as Steven's link but his was broken for me), and it requires custom drivers found here. But it is worth noting that I switched my approach because the ADI design requires some additional custom configurations to the kernel which are not required by the approach used in the TRD, found here for those interested.