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: