Conexión con Arduino IDE

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

Una vez instalado vamos a ver cómo podemos programar con el software de Arduino nuestro Picobriks

No sigas las instrucciones de Project Book aquí https://picobricks.com/pages/projectbook NO funcionan.
Las siguientes instrucciones sí que funcionan y son de  Bricogeek Licencia CC-BY
 (hay muchas páginas con las mismas instrucciones pon en un buscador raspberry pico arduino ide )

Nos vamos a Archivo-Preferencias y le decimos que ponga el siguiente directorio para las librerías :

Esta es la URL que pegar para que cargue placas que no vienen por defecto :

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

Una vez puesto nos vamos a Boards manager..

Y ponemos RP2040 en el buscador, aparecerá este software, Raspberry Pi Pico/RP2040 Lo instalamos

ATENCIÓN, poner PicoBricks en modo Bootloader
1.-Desconectamos PicoBricks de nuestro ordenador
2.- Apretamos el botón BOOTSEL mientras lo volvemos a conectar al puerto USB

3.- Automáticamente aparecerá una nueva unidad de disco en nuestro ordenador (ya puedes soltar BOOTSEL)

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 como este que dice que es el RP2040 Rasbberry Pi Pico W

.

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