Support Makecode Arcade on Raspberry Pi Pico (RP2040)

Hi All,

I saw that Raspberry Pi Pico (RP2040) is in the list of MCU supported but there is not reference schematic or GPIO wiring and uf2 firmware for it. Is there anyone has played with it? Thanks.