Pico_xbsp

Website:

https://pi-ada-tutorial.sourceforge.io/

Author:
  • Martin Krischik <krischik@users.sourceforge.net>
Maintainer:
  • Martin Krischik <krischik@users.sourceforge.net>
License:

GPL-3.0-or-later

Version:

1.7.0

Alire CI:

Dependencies: Dependents: Badge:

Extended board support package for Raspberry Pi Pico

#raspberry #pi #pico #rp2040 #tasking #light-tasking #ada2022 #embedded

Extended board support package (XBSP) for the Raspberry Pi Pico.

This crate builds upon Jeremy Grosser’s official pico_bsp and adds a growing set of clean, reusable components for Ada developers targeting the RP2040. It is developed alongside the Pi Ada Tutorial but is equally suitable for any standalone embedded Ada project.

Current components:

  • Pico.Analog - Analogue GPIO using PWM
  • Pico.Analog.RGB_LED - Analogue RGB LED control using PWM
  • Pico.Tone - Square-wave tone generation using PWM
  • Pico.UART_IO - Simple UART text I/O for the Debug Probe (115200 8N1 on GP0/GP1)
  • Pico.Utils - Miscellaneous utilities

The crate is available in two variants:

  • no_tasking (default) - small, fast, and compatible with the light runtime
  • tasking - thread-safe using protected objects (requires a tasking runtime)

All packages include full GNATdoc annotations.

Useful links:

The library will continue to grow with each new tutorial chapter while remaining a clean, independent crate.