This is cool. Did you have a look at the Olimex ESP32-P4 board which has a HDMI socket? Have you implemented all hardware drivers yourself, or could you reuse IDF or thirdparty code?