Raspberry Pi RP2040 microcontroller - PIO support when? :)

We added official support for Raspberry Pi Pico. Please check this post: