Raspberry Pi Pico support

Looks like this project implies a specific board, namely Teensy® 2.0 with an ATmega32U4, but it would be great also to add support for Raspberry Pi Pico.

@AshleyF Raspberry Pi Pico support, does that make sense? I can try to build UF2 for Raspberry Pi Pico, but no time guarantee, how it goes ;)

[AshleyF]

It should work on various devices supported by the Arduino IDE; including, but not exclusive to, Teensy (with the TeensyDuino extensions).

Support for Raspberry Pi Pico would be wonderful! There is this Arduino-Pico project which I have yet to try out, but looks promising. Lower-level support for some of the Pico's unique hardware (e.g. PIO) would be very interesting eventually. Not sure if that's supported by the Arduino integration or if it's reduced to the lowest-common-denominator to be more "Arduino-like".

Anyway... just getting Brief working on the Pico by whatever means would be super cool!

@AshleyF thank you for quick response, probably you right and it should work from Arduino IDE without any changes, but I will try to pack Brief as brief.uf2 by using UF2 format and dramatically reduce the entry - all that you need after that, press after startup the button BOOTSEL and drag & drop this file in Explorer and after that connect with board directly without any intermediaries.