source

pico_ada_c01_blink_lt

1.3.0

Chapter 1 Reloaded: Dual-Core Light Tasking

Website Community CIResults All crate versions Download JSON

Blinking LEDs on Both Cores Updated Chapter 1 using the new light_tasking_rp2040 runtime - now with proper multi-core support, Ada.Real_Time, and delay until for accurate, slippage-free LED blinking on Raspberry Pi Pico.

Contained in Chapter 01 reloaded 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
  4. double_blink-main - double blink using both cores.

Read the full tutorial at Chapter 1 Reloaded: Dual-Core Light Tasking - Blinking LEDs on Both Cores

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.

GNATdoc documentation: https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink_lt/

SourceForge repository: https://sourceforge.net/projects/pi-ada-tutorial/

Authors
Martin Krischik <krischik@users.sourceforge.net>
Maintainers
Martin Krischik <krischik@users.sourceforge.net>
Maintainer profiles
@krischik
Licenses
GPL-3.0-or-later
Website
https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt
Release archive
sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.3.0.tgz
Tags
raspberry, pi, pico, rp2040, tasking, light-tasking, ada2022, embedded
Executables
blink, sketch_01_1_blink, sketch_01_2_blink, double_blink-main
Manifest
index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml
Build and platform metadata 3 fields
Build switches
{
  "*": {
    "ada_version": [
      "-gnat2022"
    ]
  },
  "development": {
    "compile_checks": "Warnings",
    "contracts": "Yes",
    "runtime_checks": "Overflow"
  },
  "release": {
    "compile_checks": "Warnings",
    "contracts": "No",
    "runtime_checks": "Default"
  },
  "validation": {
    "compile_checks": "Warnings",
    "contracts": "Yes",
    "runtime_checks": "Everything"
  }
}
Configuration
{
  "values": {
    "light_tasking_rp2040": {
      "Board": "rpi_pico",
      "Max_CPUs": 2
    },
    "rp2040_hal": {
      "Interrupts": "bb_runtimes",
      "Use_Startup": false
    }
  }
}
Additional origin data
{
  "hashes": [
    "sha256:4495906ea7ab53b891b6c8dc7304a84a8724c3617f01d39650f1fede91f07292",
    "sha512:029899a15d03f927291c9a96e8b078de57cc76d518e8db69d31f3c6e708408c2ad5f2adb8b5a8f54f38d8154879e86d9652a31a81bfac08e67105943a5f01b38"
  ]
}