A bit of background:<p>I don't believe there's any official support from Raspberry Pi for using the Pico with Arduino. Raspberry Pi provides Micropython and a C/C++ SDK. My guess that professionals in the embedded space probably use the SDK directly (it's nicely documented) and do things themselves, but hobbyists like me would like a package manager so we can install libraries easily. Enter Arduino.<p>This isn't Arduino's official support for the Pico either. Arduino made a port based on mbed. It doesn't seem to be used much, based on my searches. Not much about it since 2021.<p>That's because Earle Philhower's "community port," called arduino-pico [1] is nicer. I switched to it to get good USB-Midi support, because it has an option to use Adafruit's fork of the TinyUSB library.<p>But, as a package manager, Arduino can be confusing and PlatformIO is supposed to be more sane. So, with the patch, you can do that, and the instructions are here [2]. It works fine. The patch isn't merged, but it works.<p>Somehow this is the unofficial, alternate choice in multiple ways, so it probably looks pretty dubious. But it's the one that seems best for me. Ideally I'd be using a language with a real package manager instead of Arduino or PlatformIO's embedded-only implementations. (I don't even particularly like C++.)<p>[1] <a href="https://github.com/earlephilhower/arduino-pico">https://github.com/earlephilhower/arduino-pico</a>
[2] <a href="https://arduino-pico.readthedocs.io/en/latest/platformio.html" rel="nofollow">https://arduino-pico.readthedocs.io/en/latest/platformio.htm...</a>