fb2040-libs

clone of https://github.com/earlephilhower/arduino-pico.git

clone of https://github.com/maxgerhardt/platform-raspberrypi.git

clone of https://github.com/earlephilhower/pico-quick-toolchain

pio-openocd-picoprobe for linux