Given that some people prefer earlephilhower/arduino-pico over the Arduino-official platform, it seems like a good idea. Given that it is based on the Raspberry Pi Pico SDK instead of MBED-OS, it is probably a stepping stone for #15, which makes this a very good idea.
Given that some people prefer earlephilhower/arduino-pico over the Arduino-official platform, it seems like a good idea. Given that it is based on the Raspberry Pi Pico SDK instead of MBED-OS, it is probably a stepping stone for #15, which makes this a very good idea.