HDMI on Zedboard

We have been trying to use the hdmi interface on zedboard with PYNQ. No success, anybody tried it and got it to work? The HDMI interface on Zedboard connects throough a ADV7511 transmitter. Will that make it a gpio for the PS/PL interface?

ZED has a HDMI Controller ADV7511, but there is not in PYNQ, so you can not assign ADV7511 port on pynq.

I meant, drive it through PYNQ (OS). The ports of ADV7511 are connected to the PL. Has anyone tried to access it as GPIO? Is that possible?