Cool. You could run it on the Olimex ESP32-P4-PC board, which even has a HDMI socket.