From e28e8f708219efee87e662b7feedc45d2edc6678 Mon Sep 17 00:00:00 2001 From: Martin Krischik Date: Tue, 14 Apr 2026 15:31:07 +0200 Subject: [PATCH] pico_ada_c01_blink_lt 1.3.0 (via `alr publish`) (#1840) --- .../pico_ada_c01_blink_lt-1.3.0.toml | 78 +++++++++++++++++++ 1 file changed, 78 insertions(+) create mode 100644 index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml diff --git a/index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml b/index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml new file mode 100644 index 00000000..87e52f40 --- /dev/null +++ b/index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml @@ -0,0 +1,78 @@ +name = "pico_ada_c01_blink_lt" +description = "Chapter 1 Reloaded: Dual-Core Light Tasking" +long-description = """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](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt) + +> 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/ +""" + +version = "1.3.0" +licenses = "GPL-3.0-or-later" +authors = ["Martin Krischik "] +maintainers = ["Martin Krischik "] +maintainers-logins = ["krischik"] +website = "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt" +tags = ["raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded"] +executables = [ + "blink", + "sketch_01_1_blink", + "sketch_01_2_blink", + "double_blink-main" +] + +[build-switches] +"*".ada_version = ["-gnat2022"] +development.compile_checks = "Warnings" +development.contracts = "Yes" +development.runtime_checks = "Overflow" +release.compile_checks = "Warnings" +release.contracts = "No" +release.runtime_checks = "Default" +validation.compile_checks = "Warnings" +validation.contracts = "Yes" +validation.runtime_checks = "Everything" + +[[depends-on]] +rp2040_hal = "^2.7" +pico_bsp = "^2.2" +light_tasking_rp2040 = "^15.2" + +[configuration.values] +rp2040_hal.Use_Startup = false +rp2040_hal.Interrupts = "bb_runtimes" +light_tasking_rp2040.Max_CPUs = 2 +light_tasking_rp2040.Board = "rpi_pico" + +# vim: set textwidth=0 nowrap tabstop=8 shiftwidth=4 softtabstop=4 expandtab : +# vim: set filetype=toml fileencoding=utf-8 fileformat=unix foldmethod=diff : +# vim: set spell spelllang=en_gb : + +[origin] +hashes = [ +"sha256:4495906ea7ab53b891b6c8dc7304a84a8724c3617f01d39650f1fede91f07292", +"sha512:029899a15d03f927291c9a96e8b078de57cc76d518e8db69d31f3c6e708408c2ad5f2adb8b5a8f54f38d8154879e86d9652a31a81bfac08e67105943a5f01b38", +] +url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.3.0.tgz" +