Looking at datasheet of TPD12S016PWR (which is in-between Zynx and HDMI connector) it seems to me that it should be possible to create HDMI input. I started looking at it to think whether it will be possible to use HDMI breakout board as alternative to GPIO breakout board, but I still don't have anything to report on that topic
If anybody want to pursue this, there is HDMI implementation within Bunny's NeTV which might be interesting:
http://www.kosagi.com/w/index.php?title ... chitecturehttps://github.com/bunnie/netv-fpgaif for nothing else, because it has legal implementation of HDCP inside it
https://github.com/bunnie/netv-fpga/tre ... ease1/hdcp(NeTV doesn't decode content received over HDMI, it just init cipher so it can overlay data over existing HDMI stream).