source

pico_ada_c02_button_and_led

1.3.1

Chapter 2 - Button & LED

Website Community CIResults All crate versions Download JSON

1.3.1

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.

  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 1 Reloaded: Dual-Core Light Tasking - Blinking LEDs on Both Cores

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

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_c02_button_and_led
Release archive
sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-1.3.1.tgz
Tags
raspberry, pi, pico, rp2040, tasking, light-tasking, ada2022, embedded
Executables
sketch_02_1_button_and_led, sketch_02_2_table_lamp
Manifest
index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.3.1.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:0dfb6d4a26bb975c435ab468a1080fb48d7fa26cbb6ededb816a1cd07fdd1972",
    "sha512:1ef2d96d20cd9e88de42558433bb80c2e2f224d3288774195d993a272670370197542427caf75d1f1e8bebcf397338ec8bab448a730954044c8061e79653d224"
  ]
}