This guy also designed DVI/HDMI from RP2040:

https://github.com/Wren6991/PicoDVI

He works at Raspberry Pi, and designed the Hazard3 RISC-V core that is at the heart of the RP2350--although he did Hazard3 in his spare time. It's actually a fork of the "Hazard5" core that he designed for the RISCBoy.