[aleph_minus_one]

They just used the well-known PicoDVI implementation that exists for the Raspberry Pi Pico:

> https://picockpit.com/raspberry-pi/raspberry-pi-pico-video-o... (scroll down to "DVI")

> https://github.com/Wren6991/PicoDVI