Alire

From UART logging and OpenOCD to GDB scripts and Visual Studio Code — everything I needed (and the battles I fought) to make debugging work on macOS.

How to adapt the existing Ada projects for the newer Raspberry Pi Pico 2 W — a quick side quest with all the necessary changes explained

Floating point support for the Raspberry Pi Pico is now fixed.

How to use Ada with the Raspberry Pi Pico.