Hi
I purchased one of yourRaspberry Pi Pico HDMI Boards but I'm having issues compiling the Raspberry Pi Pico HDMI Board project using Windows SubSystem for Linux using Ubuntu and PICO SDK 2.4.
I believe your project may be for an earlier SDK release - are you able to update your code to use the later SDK please?
Kind regards
MPC