Unfortunately, the cf_hdmi.c has a problem that there is no xil_io.h. Here is my project.
The xil_io.h file is generated automatically when the BSP project is built. Make sure that you are using the same version of Xilinx EDK as the one that was used to generate the hardware platform.
Retrieving data ...