TIL RP2350 support DVI video output with an HSTX: https://www.google.com/search?q=rp2350+dvi

And it's possible to convert from DVI to HDMI

Wren6991/PicoDVI commit history: https://github.com/Wren6991/PicoDVI/commits/master/ :

> Add 720x480p 60Hz mode (270 MHz bit clock)

> RP2350 changes (including RISC-V)

From https://news.ycombinator.com/item?id=41260679 :

> The new HSTX interface on the RP2350 seems to be squarely targeted at this use case (video output) and doesn't require the use of PIO or consuming a ton of CPU cycles. There's a nice write up on the capability here: