1 board publicly available on BoardRepo.
Custom HDMI transmitter PCB with 480 MHz STM32H7 microcontroller