Xilinx Soft-IP HDMI Rx/Tx core Linux drivers - View it on GitHub