source

pico_ada_c01_blink

1.8.0

Chapter 1: Blinking LEDs - Getting Started on the Raspberry Pi Pico

Website Community CIResults Version page Download JSON

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
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
Release archive
sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink-1.8.0.tgz
Tags
raspberry, pi, pico, rp2040, ada2022, embedded
Executables
blink, sketch_01_1_blink, sketch_01_2_blink
Manifest
index/pi/pico_ada_c01_blink/pico_ada_c01_blink-1.8.0.toml
Build and platform metadata 4 fields
Notes
"Read the full tutorial at [Chapter 1: Blinking LEDs - Getting Started with Ada on the Raspberry Pi\nPico](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_doc/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c01_blink/)\n"
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": {
    "pico_xbsp": {
      "Event_Log_Output": "uart"
    }
  }
}
Additional origin data
{
  "hashes": [
    "sha256:fafec550f6c3803c17da6f10c677bc576c4effb284943169465e87092aa4817d",
    "sha512:a09a1084c894df4014a5213b73c571045505de4975b90a847f72c779cc1b5337218255ddaf0897bb68c31383d86ac16467353499f1229c8e3c4527d0b3519934"
  ]
}