{ "canonical_url": "https://crates.flyology.org/community/", "catalog": { "name": "community", "repository_url": "https://github.com/alire-project/alire-index", "revision": "cd12c6aa35b7d6483841517305d57ba167ec78d0" }, "generated_at": "2026-08-23T04:55:42Z", "index": { "version": "1.4.0" }, "package": { "catalog": "community", "description": "Chapter 1 Reloaded: Blinking LEDs on Both Cores (light tasking runtime)", "development_only": false, "latest_version": "1.8.0", "name": "pico_ada_c01_blink_lt", "selected_version": "1.8.0", "versions": [ { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "light_tasking_rp2040", "package": "light_tasking_rp2040", "provided_version": "15.4.0", "requirement": "^15.4", "resolved": true, "version": "15.4.0" }, { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" }, { "catalog": "community", "condition": null, "name": "pico_xbsp", "package": "pico_xbsp", "provided_version": "1.8.0", "requirement": "^1.8", "resolved": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "name": "rp2040_hal", "package": "rp2040_hal", "provided_version": "2.7.1", "requirement": "^2.7.1", "resolved": true, "version": "2.7.1" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "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 }, "pico_xbsp": { "Variant": "tasking" }, "rp2040_hal": { "Interrupts": "bb_runtimes", "Use_Startup": false } } }, "depends-on": [ { "light_tasking_rp2040": "^15.4", "pico_bsp": "^2.2", "pico_xbsp": "^1.8", "rp2040_hal": "^2.7.1" } ], "description": "Chapter 1 Reloaded: Blinking LEDs on Both Cores (light tasking runtime)", "executables": [ "blink", "double_blink-main", "sketch_01_1_blink", "sketch_01_2_blink" ], "licenses": "GPL-3.0-or-later", "long-description": "Blinking LEDs on Both Cores Updated Chapter 1 using the new light_tasking_rp2040\nruntime - now with proper multi-core support, Ada.Real_Time, and delay until for accurate, slippage-free LED blinking on\nRaspberry Pi Pico.\n\nAfter quick community help, I rewrote Chapter 1 to use light tasking on both RP2040 cores. No more manual timers -\nclean, precise dual-LED blinking with zero slippage.\n\nContained in Chapter 01 reloaded are:\n\n1. blink\t - 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 - Blinking LEDs on Both\nCores](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_doc/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico2_ada_c01_blink_lt/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink_lt", "origin": { "hashes": [ "sha256:a9e2019b8ca3f4b921deeecaa4a0bd816383dab7a183c403c925395dd4783a75", "sha512:29479274cb66dd145f377790199bd90b919858b7fbac48ff9d69012f02e1d8877c19d895128d855a91a11542118082796cd7d7793979266300e69d7337cad20f" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.8.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.8.0", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt" }, "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "version": "1.8.0" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "rp2040_hal", "package": "rp2040_hal", "provided_version": "2.7.1", "requirement": "^2.7.1", "resolved": true, "version": "2.7.1" }, { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" }, { "catalog": "community", "condition": null, "name": "pico_xbsp", "package": "pico_xbsp", "provided_version": "1.8.0", "requirement": "^1.7", "resolved": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "name": "light_tasking_rp2040", "package": "light_tasking_rp2040", "provided_version": "15.4.0", "requirement": "^15.4", "resolved": true, "version": "15.4.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "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.4", "pico_bsp": "^2.2", "pico_xbsp": "^1.7", "rp2040_hal": "^2.7.1" } ], "description": "Chapter 1 Reloaded: Blinking LEDs on Both Cores", "executables": [ "blink", "double_blink-main", "sketch_01_1_blink", "sketch_01_2_blink", "uart_echo" ], "licenses": "GPL-3.0-or-later", "long-description": "Blinking LEDs on Both Cores Updated Chapter 1 using the new light_tasking_rp2040\nruntime - now with proper multi-core support, Ada.Real_Time, and delay until for accurate, slippage-free LED blinking on\nRaspberry Pi Pico.\n\nAfter quick community help, I rewrote Chapter 1 to use light tasking on both RP2040 cores. No more manual timers -\nclean, precise dual-LED blinking with zero slippage.\n\nContained in Chapter 01 reloaded are:\n\n1. blink\t - 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 - Blinking LEDs on Both\nCores](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink_lt/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico2_ada_c01_blink_lt/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink_lt", "origin": { "hashes": [ "sha256:5a2dc6262de97d10e5033f3c90da3af8f46079208146706a7c273629ef1eb404", "sha512:447684f35a8803f938e81e622a51b12366b2a3bab8c4a32c24a7a35329c951e7af72e60cfd6776340db9bf6a9ecb3ccd0fde8d389e35fbd9a11decb3d55ae425" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.7.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.7.0", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt" }, "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "version": "1.7.0" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "rp2040_hal", "package": "rp2040_hal", "provided_version": "2.7.1", "requirement": "^2.7.1", "resolved": true, "version": "2.7.1" }, { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" }, { "catalog": "community", "condition": null, "name": "light_tasking_rp2040", "package": "light_tasking_rp2040", "provided_version": "15.4.0", "requirement": "^15.3", "resolved": true, "version": "15.4.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "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.3", "pico_bsp": "^2.2", "rp2040_hal": "^2.7.1" } ], "description": "Chapter 1 Reloaded: Blinking LEDs on Both Cores", "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 Updated Chapter 1 using the new light_tasking_rp2040\nruntime - now with proper multi-core support, Ada.Real_Time, and delay until for accurate, slippage-free LED blinking on\nRaspberry Pi Pico.\n\nAfter quick community help, I rewrote Chapter 1 to use light tasking on both RP2040 cores. No more manual timers -\nclean, precise dual-LED blinking with zero slippage.\n\nContained in Chapter 01 reloaded are:\n\n1. blink\t - 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 - Blinking LEDs on Both\nCores](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink_lt/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico2_ada_c01_blink_lt/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink_lt", "origin": { "hashes": [ "sha256:a7bda08ec392c135748d42fc228333fc39c8c7151263e1937c29e66e566d2d03", "sha512:6ef77437ab83961d7b733f5f88ce064e1d24c29d3c87be29e4c657530f7ce78882ec7d5de204c6636538ca7ec612425ac0da1d1e01567e9d0e923226ba199f88" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.6.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.6.0", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt" }, "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.6.0.toml", "version": "1.6.0" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "rp2040_hal", "package": "rp2040_hal", "provided_version": "2.7.1", "requirement": "^2.7.1", "resolved": true, "version": "2.7.1" }, { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2.0", "resolved": true, "version": "2.2.0" }, { "catalog": "community", "condition": null, "name": "light_tasking_rp2040", "package": "light_tasking_rp2040", "provided_version": "15.4.0", "requirement": "^15.3", "resolved": true, "version": "15.4.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "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.3", "pico_bsp": "^2.2.0", "rp2040_hal": "^2.7.1" } ], "description": "Chapter 1 Reloaded: Blinking LEDs on Both Cores", "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 Updated Chapter 1 using the new light_tasking_rp2040\nruntime - now with proper multi-core support, Ada.Real_Time, and delay until for accurate, slippage-free LED blinking on\nRaspberry Pi Pico.\n\nAfter quick community help, I rewrote Chapter 1 to use light tasking on both RP2040 cores. No more manual timers -\nclean, precise dual-LED blinking with zero slippage.\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 - Blinking LEDs on Both\nCores](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink_lt/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico2_ada_c01_blink_lt/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink_lt", "origin": { "hashes": [ "sha256:2ee316232f0b6ba8caa9a3828282f8cd6034e6a07f6e52fd2289d8ec560043de", "sha512:814b51ac8e2e433c6af5cb046bc9893afd318d92cd9464a5618ceb4eaea5a17c349cae7acfb92f32161a0e901ac6c3345a62c889d84c84574b9ee8e432c84e4d" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.5.2.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.5.2", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt" }, "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.2.toml", "version": "1.5.2" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "rp2040_hal", "package": "rp2040_hal", "provided_version": "2.7.1", "requirement": "^2.7.1", "resolved": true, "version": "2.7.1" }, { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" }, { "catalog": "community", "condition": null, "name": "light_tasking_rp2040", "package": "light_tasking_rp2040", "provided_version": "15.4.0", "requirement": "^15.2", "resolved": true, "version": "15.4.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "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: Blinking LEDs on Both Cores", "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 Updated Chapter 1 using the new light_tasking_rp2040\nruntime - now with proper multi-core support, Ada.Real_Time, and delay until for accurate, slippage-free LED blinking on\nRaspberry Pi Pico.\n\nAfter quick community help, I rewrote Chapter 1 to use light tasking on both RP2040 cores. No more manual timers -\nclean, precise dual-LED blinking with zero slippage.\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 - Blinking LEDs on Both\nCores](https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c01_blink_lt/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico2_ada_c01_blink_lt/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink_lt", "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" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.5.1", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt" }, "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml", "version": "1.5.1" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "rp2040_hal", "package": "rp2040_hal", "provided_version": "2.7.1", "requirement": "^2.7.1", "resolved": true, "version": "2.7.1" }, { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" }, { "catalog": "community", "condition": null, "name": "light_tasking_rp2040", "package": "light_tasking_rp2040", "provided_version": "15.4.0", "requirement": "^15.2", "resolved": true, "version": "15.4.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "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 " ], "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" }, "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.1.toml", "version": "1.3.1" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "rp2040_hal", "package": "rp2040_hal", "provided_version": "2.7.1", "requirement": "^2.7", "resolved": true, "version": "2.7.1" }, { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" }, { "catalog": "community", "condition": null, "name": "light_tasking_rp2040", "package": "light_tasking_rp2040", "provided_version": "15.4.0", "requirement": "^15.2", "resolved": true, "version": "15.4.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "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" } ], "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 " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink_lt", "origin": { "hashes": [ "sha256:4495906ea7ab53b891b6c8dc7304a84a8724c3617f01d39650f1fede91f07292", "sha512:029899a15d03f927291c9a96e8b078de57cc76d518e8db69d31f3c6e708408c2ad5f2adb8b5a8f54f38d8154879e86d9652a31a81bfac08e67105943a5f01b38" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.3.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.3.0", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c01_blink_lt" }, "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml", "version": "1.3.0" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" }, { "catalog": "community", "condition": null, "name": "light_tasking_rp2040", "package": "light_tasking_rp2040", "provided_version": "15.4.0", "requirement": "^15.2", "resolved": true, "version": "15.4.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "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" } ], "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", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink_lt", "origin": { "hashes": [ "sha256:90c8b4e828696b644170ba12b84c2a0487ebd49de3c27f5bd6d13d7600d7c5ba", "sha512:9479290adb26d5bb7c588cf7fcb026e130be0148e4f441036b83b3d220f284ff7cd857aac74b5b4136a59dbeb1f271de93751a20c589b2e8fc08301f77dc7fef" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.2.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022" ], "version": "1.2.0", "website": "https://sourceforge.net/projects/pi-ada-tutorial/" }, "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.2.0.toml", "version": "1.2.0" }, { "dependants": [], "dependencies": [ { "catalog": "community", "condition": null, "name": "rp2040_hal", "package": "rp2040_hal", "provided_version": "2.7.1", "requirement": "^2.7", "resolved": true, "version": "2.7.1" }, { "catalog": "community", "condition": null, "name": "pico_bsp", "package": "pico_bsp", "provided_version": "2.2.0", "requirement": "^2.2", "resolved": true, "version": "2.2.0" }, { "catalog": "community", "condition": null, "name": "light_tasking_rp2040", "package": "light_tasking_rp2040", "provided_version": "15.4.0", "requirement": "^15.2", "resolved": true, "version": "15.4.0" } ], "development": false, "external": false, "manifest": { "authors": [ "Martin Krischik " ], "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" } ], "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", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c01_blink_lt", "origin": { "hashes": [ "sha256:f4e8cbbc5a40943c9687a58d7f8a8495f7d56b9725f97387fec5b837a248d198", "sha512:273bdd5ff1b1f1566fbc756e836a8234f36488383b55f796f1c151c7837a3269764fd1f7e882a45c1844a8bbd57f138f64930374ddefffbb7e52b36f0ce51db8" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c01_blink_lt-1.1.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022" ], "version": "1.1.0", "website": "https://sourceforge.net/projects/pi-ada-tutorial/" }, "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.1.0.toml", "version": "1.1.0" } ] }, "schema_version": 4 }