There does not seem to be any release tag or branch nor production gerber files.

I was hoping to get my hands on some functional DVI/HDMI controller. Well never mind, I'll wait.