De la plantilla al LED parpadeando

Todo hasta el UF2 ocurre en el iPad — puedes escribir, compilar y verificar firmware sin ningún hardware. Solo necesitas una placa y un cable para el flasheo final.

1. Elige placa y plantilla

   Elige la Pico (RP2040) o la Pico 2 (RP2350) y arranca desde una plantilla oficial — embassy (async) o rp-rs (HAL). Ferric configura el target y el layout de memoria correctos por ti.

2. Escribe tu firmware

   Edita el firmware no_std en el mismo editor real — resaltado, diagnósticos y la barra de teclado Rust. El primer programa clásico alterna el LED de la placa.

3. Verifica en el emulador

   Ejecuta el firmware en el emulador integrado de la Pico para confirmar que el LED de verdad parpadea — caza un nivel invertido o un bucle que nunca duerme en el iPad, no en la mesa.

4. Genera el UF2

   Ferric compila y enlaza un .uf2 real — el formato de firmware de arrastrar y soltar que entiende el bootloader de la Pico. Toda la toolchain corre en el iPad, y una caché de dependencias precompilada deja la primera build de embassy en unos 10 segundos.

5. Flashea por USB-C

   Mantén BOOTSEL y conecta la Pico al iPad; se monta como unidad. Con Ferric Link conectado, BOOTSEL entra solo, sin botón que mantener. Copia el UF2, la placa se reinicia y ejecuta tu firmware — el LED parpadea igual que en el emulador.

El blinky clásico, y verificado

Esto es firmware no_std real — sin sistema operativo, sin std, un bucle que nunca retorna porque tu programa es lo único que corre. Escrito con el framework async embassy.

#![no_std]
#![no_main]

use embassy_rp::gpio::{Level, Output};
use embassy_time::Timer;
use embassy_executor::Spawner;

#[embassy_executor::main]
async fn main(_s: Spawner) {
    let p = embassy_rp::init(Default::default());
    let mut led = Output::new(p.PIN_25, Level::Low);
    loop {
        led.toggle();
        Timer::after_millis(500).await;
    }
}

Empieza con el blinky, llega más lejos