This is a port of Arduino to the RP2040 (Raspberry Pi Pico processor ... Once Picoprobe permissions are set up properly, then select the board "Raspberry Pi Pico (Picoprobe)" in the Tools menu and ...