MPS3 HDMI Output

Hi,

I'm looking to implement a HDMI output on a basic M0 designstart system I am building on an MPS3 protoypting board. I noticed the AN522 file has an HDMI output setup but I can't find anywhere I can download the RTL from. It looks like I need a HDLCD module to between the bus matrix and the TDA19988 but the documentation seems to be limited. I am a bit stuck at the moment so any pointers would be greatly appreciated.

Thank you