{
  "authors": [
    "Martin Krischik <krischik@users.sourceforge.net>"
  ],
  "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
      }
    }
  },
  "depends-on": [
    {
      "light_tasking_rp2040": "^15.2",
      "pico_bsp": "^2.2",
      "rp2040_hal": "^2.7.1"
    }
  ],
  "description": "Chapter 1 Reloaded: Dual-Core Light Tasking",
  "executables": [
    "blink",
    "sketch_01_1_blink",
    "sketch_01_2_blink",
    "double_blink-main"
  ],
  "licenses": "GPL-3.0-or-later",
  "long-description": "Blinking LEDs on Both Cores\nUpdated Chapter 1 using the new\nlight_tasking_rp2040 runtime - now with proper multi-core support,\nAda.Real_Time, and delay until for accurate, slippage-free LED blinking on\nRaspberry Pi Pico.\n\nContained in Chapter 01 reloaded are:\n\n1. blink - Jeremy Grosser Ada sample\n2. sketch_01_1_blink - Chapter 1.1 Blink internal LED\n3. sketch_01_2_blink - Chapter 1.2 Blink external LED\n4. double_blink-main - double blink using both cores.\n\nRead the full tutorial at [Chapter 1 Reloaded: Dual-Core Light Tasking -\nBlinking LEDs on Both\nCores](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt)\n\n> After quick community help, I rewrote Chapter 1 to use light tasking on both\n> RP2040 cores. No more manual timers - clean, precise dual-LED blinking with\n> zero slippage.\n\nGNATdoc documentation:\nhttps://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink_lt/\n\nSourceForge repository:\nhttps://sourceforge.net/projects/pi-ada-tutorial/\n",
  "maintainers": [
    "Martin Krischik <krischik@users.sourceforge.net>"
  ],
  "maintainers-logins": [
    "krischik"
  ],
  "name": "pico_ada_c01_blink_lt",
  "origin": {
    "hashes": [
      "sha256:84a45f57cce127ec12ffd91f94f7f42de227ce4f0a81540579ffb8b56b954925",
      "sha512:80489fbd58fd125785204d09b41228e14a18d5ff0411c920289834b048d1f8a6e4a71c01ac642e43a3cc4d622210f25010c08338230c5b67f91dfbda62f305ed"
    ],
    "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.3.1.tgz"
  },
  "tags": [
    "raspberry",
    "pi",
    "pico",
    "rp2040",
    "tasking",
    "light-tasking",
    "ada2022",
    "embedded"
  ],
  "version": "1.3.1",
  "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt"
}