Which Arduino boards platform are you using to add support for the Pico to the Arduino IDE @juffin?
There are two popular ones:
- The official "Arduino Mbed OS RP2040 Boards" platform
- The 3rd party "Raspberry Pi RP2040 Boards" platform by Earle F. Philhower, III