Conexión con Arduino IDE

El software Arduino IDE lo puedes descargar en https://www.arduino.cc/

Una vez instalado nos vamos a Archivo-Preferencias y le decimos que ponga el siguiente directorio para las librerías :

Este es el directorio que tienes que pegar:

https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json

Fuente Bricogeek Licencia CC-BY

Una vez puesto nos vamos a Boards ~~manager.~~manager..

Y ponemos RP2040 en el buscador, aparecerá este software, lo instalamos

Una vez puesto en modo Booloader seleccionamos la placa Raspberry Pi Pico W (4) y también seleccionamos el puerto (5) UF2_Board

También puede salir otro tipo de puerto pero dice que es el RP2040 Rasbberry Pi Pico W

En resumen tiene que salir abajo a la derecha que esta conectado