pico-boot-core
WiFi/USB firmware-upload bootloader for the RP2040 (Raspberry Pi Pico / Pico W): signed uploads, A/B slots, anti-rollback, hang-detection watchdog. TDD + formal verification.
View on Github
Activity
- Latest release
- 1mo ago
- Total releases
- 1
- Cadence
- —
- Last 12 months
- 1
Reach
- Downloads
- 0
- Stars
- 9
Details
- License
- MIT
- First release
- Aug 09, 2026