🛠 Faire clignoter la LED embarquée (GP25)

Objectifs

Découvrir la Raspberry Pi Pico (RP2040 : double cœur ARM Cortex-M0+ à 133 MHz, 264 Ko de RAM, 2 Mo de flash QSPI externe) en faisant clignoter sa LED embarquée, pilotée par la broche GP25. À la fin de ce tutoriel, tu sauras compiler un programme C avec le Pico SDK, produire un fichier .uf2 et le flasher par glisser-déposer grâce au bootloader USB BOOTSEL.

Matériel

• 1 × Raspberry Pi Pico (ou Pico H à headers soudés)
• 1 × câble micro-USB data (certains câbles ne font que la charge)
• PC avec le Pico SDK (gcc-arm-none-eabi + CMake ≥ 3.13), variable PICO_SDK_PATH définie

Code complet

// 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);
    }
}

Compile avec CMake (pico_add_extra_outputs(blink) produit le .uf2), puis maintiens BOOTSEL en branchant l'USB : la carte apparaît comme lecteur RPI-RP2, dépose le .uf2 dessus.

Vérification attendue

La LED verte clignote en boucle : allumée 250 ms, éteinte 750 ms. Toutes les GPIO de la Pico sont en logique 3,3 V et ne tolèrent pas 5 V — c'est une règle d'or pour la suite.

Erreurs fréquentes

• Mauvais numéro de broche : sur la Pico classique la LED est bien sur GP25 (confirmé par la datasheet), pas GP2 comme sur d'autres cartes.
• Oubli de gpio_set_dir(..., GPIO_OUT) : la broche reste entrée, rien ne clignote.
• Câble USB de charge seule : la carte n'apparaît jamais sur le PC.
• PICO_SDK_PATH non définie : CMake échoue au include(pico_sdk_import.cmake).
• Le .uf2 n'apparaît pas : recompile, ou vérifie que pico_add_extra_outputs est bien appelé.