Radxa Rock2A RK3528A HDMI Driver

I am working on getting a custom OS designed for teaching how to write your own OS.
I was wondering if anyone had a TRM for this particular board.

The reason I need this is because I need the information specifically to get Register maps, bit definitions, programming model and so on for the work I am doing.