🛠 Faire clignoter la LED embarquée (GP25)

Objetivos

Descubrir la Raspberry Pi Pico (RP2040: doble núcleo ARM Cortex-M0+ a 133 MHz, 264 KB de RAM, 2 MB de flash QSPI externa) haciendo parpadear su LED integrada, controlada por el pin GP25. Al finalizar este tutorial, sabrás compilar un programa en C con el Pico SDK, generar un archivo .uf2 y flashearlo mediante arrastrar y soltar gracias al bootloader USB BOOTSEL.

Material

• 1 × Raspberry Pi Pico (o Pico H con headers soldados)
• 1 × cable micro-USB de datos (algunos cables solo permiten la carga)
• PC con el Pico SDK (gcc-arm-none-eabi + CMake ≥ 3.13), variable PICO_SDK_PATH definida

Código completo

// blink.c — LED embarquée sur GP25 (Pico datasheet §1)
#include "pico/stdlib.h"

#define LED_PIN 25

int main(void) {
    gpio_init(LED_PIN);
    gpio_set_dir(LED_PIN, GPIO_OUT);
    while (true) {
        gpio_put(LED_PIN, 1);
        sleep_ms(250);
        gpio_put(LED_PIN, 0);
        sleep_ms(750);
    }
}

Compila con CMake (pico_add_extra_outputs(blink) genera el .uf2), luego mantén presionado BOOTSEL mientras conectas el USB: la tarjeta aparecerá como una unidad RPI-RP2, deposita el .uf2 en ella.

Verificación esperada

El LED verde parpadea en bucle: encendido 250 ms, apagado 750 ms. Todos los GPIO de la Pico funcionan con lógica de 3,3 V y no toleran 5 V — esta es una regla de oro para lo que sigue.

Errores frecuentes

• Número de pin incorrecto: en la Pico clásica, el LED está en GP25 (confirmado por la hoja de datos), no en GP2 como en otras tarjetas.
• Olvidar gpio_set_dir(..., GPIO_OUT): el pin permanece como entrada, nada parpadea.
• Cable USB solo de carga: la tarjeta nunca aparece en el PC.
• PICO_SDK_PATH no definida: CMake falla en include(pico_sdk_import.cmake).
• El .uf2 no aparece: recompila, o verifica que pico_add_extra_outputs sea llamado correctamente.