See here for some useful setup instructions.
They key step is to add the Pico W board description to the Arduino IDE using this link:
https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json
See here for some useful setup instructions.
They key step is to add the Pico W board description to the Arduino IDE using this link:
https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json