Weeb Labs has published pico_hdmi on GitHub, a video and audio output library for the RP2350 and Raspberry Pi Pico 2. It uses the chip’s HSTX peripheral and its hardware TMDS encoding, so there is no bit-banging and no overclock needed for 480p output.…