← Nos projets

Crispy Bootloader RP2040

Bootloader A/B pour RP2040 (Raspberry Pi Pico) écrit en Rust. Copie le firmware depuis la flash vers la RAM avant exécution et gère deux banques pour des mises à jour plus sûres via USB CDC.

· 1 min read
Crispy Bootloader RP2040
🔗 https://github.com/ADNTIO/crispy-bootloader-rp2040-rs

Crispy Bootloader est un bootloader A/B open source pour le RP2040 (Raspberry Pi Pico) écrit en Rust. Il copie le firmware depuis la flash vers la RAM avant exécution et prend en charge deux banques distinctes pour permettre des mises à jour robustes et réversibles via USB CDC.

Le projet inclut :

  • Le bootloader RP2040 (crispy-bootloader) en Rust
  • Des firmwares d’exemple en Rust et C++ (Pico SDK)
  • Un SDK C++ pour intégrer la communication avec le bootloader
  • Une crate partagée (crispy-common-rs) regroupant le protocole et les utilitaires flash
  • Deux outils hôtes (Rust et Python) pour l’upload de firmware, la lecture du statut et la sélection de banque
  • Des scripts de linker adaptés à l’exécution depuis la RAM
  • Des tests unitaires et d’intégration matérielle automatisés

Le code est développé en pair-programming avec assistance IA sous supervision humaine (approche human-in-the-loop) et suit une documentation structurée selon le modèle Diataxis. Licence MIT.