I am trying to enable basic console output via HDMI on the Zynq zc702 running PetaLinux 2017.4. I have constructed the reference design and added it to my project, enabled the ADV7511 in the kernel, and successfully packaged the image and BIN files. I have also added a script to the SD card, based on the evaluation boot script that shipped with the board, which creates the VDMA device node on start-up. However, upon booting the board I still do not get any signal on the display and Linux does not seem to recognize when the HDMI cable is plugged or unplugged. The device node seems to have been created successfully. Is there a step I'm missing here or another dependency I need to add? Please let me know if I can provide any further detail which might help address this problem.