[raphlinus]

This is a good reason to bit-bang the protocol. It is in fact possible to get HDMI including audio out of an RP2040, as is demonstrated by infones[1], a NES emulator.

[1]: https://github.com/shuichitakano/pico-infones