2 boards publicly available on BoardRepo.
Custom HDMI transmitter PCB with 480 MHz STM32H7 microcontroller
Remotely-operated quadcopter hardware, firmware and software