alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Pi Ada Tutorial release 1.5.1 (#1878)

Browse Source 
* Pi Ada Tutorial release 1.5.1

Add installation via openocd. Update description.

* Fix URL formatting in pico_ada_c01_blink TOML file

Remove new lines - will also trigger a rebuild.

* Remove unnecessary line break in TOML file

And trigger a rebuild.

---------

Co-authored-by: Martin Krischik <martin.krischik@kpt.ch>
This commit is contained in:
Martin Krischik
2026-04-20 18:31:49 +02:00
committed by GitHub
parent 1284c5494b
commit b20c7e5b1e
7 changed files with 459 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.5.1.toml
+59
View File
@@ -0,0 +1,59 @@
name = "pico_ada_c01_blink"
description = "Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico"
long-description = """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](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink), [GNATdoc
documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink/), [SourceForge
repository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c01_blink/)
"""
version = "1.5.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink"
tags = ["raspberry", "pi", "pico", "rp2040", "ada2022", "embedded"]
executables = [
"blink",
"sketch_01_1_blink",
"sketch_01_2_blink"
]
[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]]
pico_bsp = "^2"
# vim: set textwidth=72 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:644afe2e7ce693c388dcc3d069a8c3b52f9bfd0040e771c376b1a9baa766fc7a",
"sha512:3319f29d78b59a841cd4c24aa8b5727dddd452bd005280b983c03912de589786de94aecfc4b2e85bfc103331ba2bdd17dbec30a893927e87564ce47d7498035f",
]
url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.5.1.tgz"
index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml
+69
View File
@@ -0,0 +1,69 @@
name = "pico_ada_c01_blink_lt"
description = "Chapter 1 Reloaded: Blinking LEDs on Both Cores"
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.
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.
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), [GNATdoc
documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink_lt/), [SourceForge
repository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico2_ada_c01_blink_lt/)
"""
version = "1.5.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
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.1"
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=120 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:03ffc64301ced8e2791209b3f676179e3093173c06faca6567e5d6128302a0ed",
"sha512:eb8c2d4a19b7d82b07332a99a8915555c00d218eb90f09b8382824f0de659f3486e1b3fee4f5a881f84e3773c083d7b0cbe015264da56277a685df1bf24b8179",
]
url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.5.1.tgz"
index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.5.1.toml
+65
View File
@@ -0,0 +1,65 @@
name = "pico_ada_c02_button_and_led"
description = "Chapter 2 - Button controled LEDs"
long-description = """Controlling an LED with a button on the Raspberry Pi Pico using Ada - two simple
but useful interaction examples.
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.
Contained in Chapter 02 are:
1. sketch_02_1_button_and_led - Chapter 2.1 Switch LED with Button
2. sketch_02_2_table_lamp - Chapter 2.2 Simple table lamp
Read the full tutorial at [Chapter 2 - Button &
LED](https://pi-ada-tutorial.sourceforge.io/pico_ada_c02_button_and_led), [GNATdoc
documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c02_button_and_led/), [SourceForge
repository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c02_button_and_led/)
"""
version = "1.5.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://pi-ada-tutorial.sourceforge.io/pico_ada_c02_button_and_led"
tags = ["raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded"]
executables = [
"sketch_02_1_button_and_led",
"sketch_02_2_table_lamp"
]
[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.1"
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=120 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:af8490f7db31837a787a4702f119cdb81644d8c3e6c038b358d2bcaf8fc6152b",
"sha512:9fb1ce2191d9b6650bab05eb837af9a4003e86250b709813d20c373d89225479e100720948464aee4da9876ef0abef51354f1705e3716083803d54f3ff726f41",
]
url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-1.5.1.tgz"
index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml
+70
View File
@@ -0,0 +1,70 @@
name = "pico_ada_c03_led_bar"
description = "Chapter 3 - Cylon LED Bar: flowing light upgraded to a menacing scanner"
long-description = """Building a smooth flowing LED bar on the Raspberry Pi Pico with Ada - from a simple
chasing light to a proper menacing Cylon scanner effect using real-time delays.
In this chapter we turn ten LEDs into a flowing light bar. We start with the basic Freenove example using an array of
RP.GPIO.GPIO_Point (aliased limited tagged types). We then improve it with a pre-calculated sine-harmonic timing table
to create a realistic Cylon scanner - all done with Ada.Real_Time and zero floating-point at runtime for perfect
jitter-free movement.
Contained in Chapter 03 are:
1. Sketch_03_1_Flowing_Light - straight port of the classic flowing light
2. Cylon_Light - the final dramatic Cylon scanner with organic easing
3. Cylon_Light_Float - Floating point version of Cylon_Light
Read the full tutorial at [Chapter 3 - Cylon LED Bar: flowing light upgraded to a menacing
scanner](https://pi-ada-tutorial.sourceforge.io/pico_ada_c03_led_bar), [GNATdoc
documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c03_led_bar/), [SourceForge
repository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c03_led_bar/)
(The Cylons did nothing wrong. Humans created the perfect companion species and then completely messed it up.)
"""
version = "1.5.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://pi-ada-tutorial.sourceforge.io/pico_ada_c03_led_bar"
tags = ["raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded"]
executables = [
"sketch_03_1_flowing_light",
"cylon_light_float",
"cylon_light"
]
[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.1"
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=120 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:8ad0e376855ada75e7991562ef135dcb058f6b4c15898df3326a7a006bec406e",
"sha512:8d9a57a2e9a246d33daa21431f0780c9d6656dc60681c7be7729e64fa66116005aa97a2ae7d08169656a069b31648016aca2cf6aec229e8e451cb279c171fd7b",
]
url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c03_led_bar-1.5.1.tgz"
index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml
+69
View File
@@ -0,0 +1,69 @@
name = "pico_ada_c04_pwm"
description = "Chapter 4: Analog LED with PWM"
long-description = """Building smooth breathing LEDs and flowing light bars with hardware PWM on the
Raspberry Pi Pico using Ada. From jittery duty cycles to perfect linear dimming - guided by the Voltcraft MSO-5102B
oscilloscope and a deep dive into PWM slice mapping on both Pico 1 and Pico 2.
In this chapter we create a reusable Pico.Analog package for PWM-based analogue output. We start with a classic
breathing light, then move on to a flowing light bar. Along the way the MSO-5102B reveals the real behaviour of our
code, and we discover (and fix) a subtle bug in the experimental RP2350 HAL.
Contained in Chapter 04 are:
1. Pwm - Original PWM sample from Jeremy Grosser
2. sketch_04_1_breathing_light - Chapter 4.1 Blink internal LED
3. sketch_04_2_flowing_light_2 - Chapter 4.1 Project Meteor Flowing Light
Read the full tutorial at [Chapter 4: Analog & PWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm), [GNATdoc
documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c04_pwm/), [SourceForge
repository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c04_pwm/)
"""
version = "1.5.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://pi-ada-tutorial.sourceforge.io/pico_ada_c04_pwm"
tags = ["raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded"]
executables = [
"pwm",
"sketch_04_1_breathing_light",
"sketch_04_2_flowing_light_2"
]
[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.1"
pico_bsp = "^2.2"
pico_xbsp = "^1.5"
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=120 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:852b4decd0912adf36c9c1763944055bb22e837d3451ee157a15696298184eee",
"sha512:2272f7f06629c552ea49574fe3037a819d10343ec797191e8d3cfd0e2a87a4cc5f4f52e516ac4b6c6d543b5d2c8aec222746102bf5930e28d9aa4a5a3b682d0e",
]
url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.5.1.tgz"
index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml
+67
View File
@@ -0,0 +1,67 @@
name = "pico_ada_c05_rgb"
description = "Chapter 5: Controlling an RGB LED with PWM"
long-description = """Learn how to drive a common-cathode RGB LED using the RP2040's PWM peripherals.
This chapter introduces a reusable Ada package for colour control and demonstrates both random colours and a smooth
colour-wheel gradient.
Extend the simple LED examples to full-colour control with an RGB LED. Create a reusable `Pico.Analog.RGB_LED` package
and explore two sketches: random colours (using the embedded runtime) and a smooth colour-wheel transition.
Contained in Chapter 05 are:
2. sketch_05_1_random_color_light.adb - Chapter 5.1 Random Color Light
3. sketch_05_2_gradient_color_light.adb - Chapter 5.2 Gradient Color Light
Read the full tutorial at [Chapter 5: Controlling an RGB LED with
PWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c05_rgb), [GNATdoc
documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c05_rgb/), [SourceForge
repository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c05_rgb/)
"""
version = "1.5.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://pi-ada-tutorial.sourceforge.io/pico_ada_c05_rgb"
tags = ["raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded"]
executables = [
"sketch_05_1_random_color_light",
"sketch_05_2_gradient_color_light"
]
[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.1"
pico_bsp = "^2.2"
pico_xbsp = "^1.5"
embedded_rp2040 = "^15.2"
[configuration.values]
rp2040_hal.Use_Startup = false
rp2040_hal.Interrupts = "bb_runtimes"
embedded_rp2040.Max_CPUs = 2
embedded_rp2040.Board = "rpi_pico"
# vim: set textwidth=120 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:46ac504e1c92a7e052b3381b47c60655daf61e791b8ea87e6e93b491d60734d3",
"sha512:427c7715c53dd07eb0df7541354f481f9cd2b35906b5f1a23f0678ed000fcd163068f162d7d9b893625686ea896ce4ce5c14e3e32eff8a85f921a6befe0d947c",
]
url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-1.5.1.tgz"
index/pi/pico_xbsp/pico_xbsp-1.5.1.toml
+60
View File
@@ -0,0 +1,60 @@
name = "pico_xbsp"
description = "Extended board support package for Raspberry Pi Pico"
long-description = """Extended board support package (XBSP) for the Raspberry Pi Pico.
This crate extends the official pico_bsp from Jeremy Grosser with additional, reusable components. It is designed for
general use in any Ada project targeting the RP2040-based Raspberry Pi Pico and is not limited to the Pi Ada Tutorial.
It is developed in parallel with the [Pi Ada Tutorial](https://pi-ada-tutorial.sourceforge.io/) and therefore also
supplies the exact support packages used in the tutorial chapters. This dual role makes pico_xbsp equally suitable for:
* Standalone embedded Ada projects that only need the extra functionality, and * Readers following the tutorial who want
ready-made, well-documented building blocks.
Current content:
1. Pico.Analog - Analogue GPIO using Pulse Width Modulation (PWM).
1. Pico.Analog.RGB_LED - Analogue RGB LED control using Pulse Width Modulation (PWM).
2. Pico.UART_IO - UART Text Output (Input comes later).
All packages are supplied with complete GNATDOC annotations.
* [GNATdoc documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/)
* [SourceForge repository](https://sourceforge.net/projects/pi-ada-tutorial/)
The crate will grow with each new tutorial chapter while remaining a clean, independent library.
"""
version = "1.5.1"
licenses = "GPL-3.0-or-later"
authors = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers = ["Martin Krischik <krischik@users.sourceforge.net>"]
maintainers-logins = ["krischik"]
website = "https://pi-ada-tutorial.sourceforge.io/"
tags = ["raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded"]
[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]]
pico_bsp = "^2.2"
# vim: set textwidth=120 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:52ff10a595e76c4fb2ac49aec7efa9cbf03f4d65a210a78d4c94acc8f2a0fde1",
"sha512:ea6fc88d89bdf13948631d9e85b145b0cfa87a0274e4eaeb841ae0561cbf390dac83092b76276b9fe877792351e879f4a0f687bc24e7fc46914026f669fb47d1",
]
url = "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.5.1.tgz"