Install the following Libraries with the Arduino Library Manager:
Add this URL to the Additional Boards Manager URLs in the Arduino Preferences:
https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json
Install the following Boards with the Arduino Board Manager:
Now you should be able to compile and upload the firmware to the Raspberry Pi Pico.