My first steps into Ada programming on the Pico: from Jeremy Grosser’s classic blink example through explicit pin control to using an external LED, plus thoughts on the elegant (but still experimental) Ravenscar profile.

Starting simple with LED blinking in Ada - internal LED, external LED with proper renaming, and a look at why Ravenscar looks so clean (even if it’s not quite ready for everyday use yet).

Contained in Chapter 01 are:

1. blink - Jeremy Grosser Ada sample
2. sketch_01_1_blink - Chapter 1.1 Blink internal LED
3. sketch_01_2_blink - Chapter 1.2 Blink external LED

Read the full tutorial at Chapter 1: Blinking LEDs - Getting Started with Ada on the Raspberry Pi Pico, GNATdoc documentation, SourceForge repository