In this chapter I combine a push button with an LED. We start with basic on/off control, then move to a toggle-style table lamp with software debounce.
After quick community help, I rewrote Chapter 1 to use light tasking on both RP2040 cores. No more manual timers – clean, precise dual-LED blinking with zero slippage.
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).
I started with a repetitive Makefile that broke without manual Pico_Upload. After some pair programming with Grok, here’s the much cleaner version I now use for every chapter.