source

pico_ada_c04_pwm

1.4.0

Chapter 4: Analog & PWM

Website Community CIResults All crate versions Download JSON

1.4.0

Contained in Chapter 04 reloaded 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

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

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_c04_pwm
Release archive
sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c04_pwm-1.4.0.tgz
Tags
raspberry, pi, pico, rp2040, tasking, light-tasking, ada2022, embedded
Executables
pwm, sketch_04_1_breathing_light, sketch_04_2_flowing_light_2
Manifest
index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.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:0ec7883ec452edee84fa667f810f92666c532957f18bc55fd2263b80cef5a37e",
    "sha512:d4137ad757bca91eaa25d24b7ffc996e6d65e5977c5b969a1630ec6a5c3c9a3bd9f4bc87ac332fd8e390eae120482b509c5fe2a4e1b493b80481565835390a68"
  ]
}