@johanneshoff The hardware story is the same as PicoDVI (the repo is https://github.com/DusterTheFirst/pico-dvi-rs), so yes, you overclock it to 252.2 MHz. There's no dedicated DVI chip, though I think you could do that also. One downside to the transceiver chip is that none of the ones I've seen can do HDMI audio. (And yes, this setup can, though it's not done yet)
@raph Very cool. And a surprisingly simple PIO program!