{ "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 2: Button controled LEDs", "development_only": false, "latest_version": "1.8.0", "name": "pico_ada_c02_button_and_led", "selected_version": "1.8.0", "versions": [ { "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.8", "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 }, "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 2: Button controled LEDs", "executables": [ "sketch_02_1_button_and_led", "sketch_02_2_table_lamp" ], "licenses": "GPL-3.0-or-later", "long-description": "Controlling an LED with a button on the Raspberry Pi Pico using Ada - two simple\nbut useful interaction examples.\n\nIn this chapter I combine a push button with an LED. We start with basic on/off control, then move to a toggle-style\ntable lamp with software debounce.\n\nContained in Chapter 02 are:\n\n1. sketch_02_1_button_and_led - Chapter 2.1 Switch LED with Button\n2. sketch_02_2_table_lamp - Chapter 2.2 Simple table lamp\n\nRead the full tutorial at [Chapter 2 - Button &\nLED](https://pi-ada-tutorial.sourceforge.io/pico_ada_c02_button_and_led), [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_c02_button_and_led/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c02_button_and_led", "origin": { "hashes": [ "sha256:de88eb38b8f3f5c4b2881f7e7470327bb6c02308d2776945065a4e802779fdd1", "sha512:694c69e664c8d8bd4ed4bff9fb0d89447354076a43e597092066e281100fad93caf80405701246e7e7df502d936008797d524c29bd43c3ccc6c28b9bde136f91" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-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_c02_button_and_led" }, "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-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 2 - Button controled LEDs", "executables": [ "sketch_02_1_button_and_led", "sketch_02_2_table_lamp" ], "licenses": "GPL-3.0-or-later", "long-description": "Controlling an LED with a button on the Raspberry Pi Pico using Ada - two simple\nbut useful interaction examples.\n\nIn this chapter I combine a push button with an LED. We start with basic on/off control, then move to a toggle-style\ntable lamp with software debounce.\n\nContained in Chapter 02 are:\n\n1. sketch_02_1_button_and_led - Chapter 2.1 Switch LED with Button\n2. sketch_02_2_table_lamp - Chapter 2.2 Simple table lamp\n\nRead the full tutorial at [Chapter 2 - Button &\nLED](https://pi-ada-tutorial.sourceforge.io/pico_ada_c02_button_and_led), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c02_button_and_led/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c02_button_and_led/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c02_button_and_led", "origin": { "hashes": [ "sha256:d519b9b367887981e76b6eca3a8ef0471140a370a610a9beab0c4122e88dbe89", "sha512:e0359f54b9a25ab729aa8cb8404048b737d4c7084a71c495803956c535efc778c07ec4f94d2d87f7fd8b7f58cb22c491167a33650462c9eaab44a327757892a8" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-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_c02_button_and_led" }, "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-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 2 - Button controled LEDs", "executables": [ "sketch_02_1_button_and_led", "sketch_02_2_table_lamp" ], "licenses": "GPL-3.0-or-later", "long-description": "Controlling an LED with a button on the Raspberry Pi Pico using Ada - two simple\nbut useful interaction examples.\n\nIn this chapter I combine a push button with an LED. We start with basic on/off control, then move to a toggle-style\ntable lamp with software debounce.\n\nContained in Chapter 02 are:\n\n1. sketch_02_1_button_and_led - Chapter 2.1 Switch LED with Button\n2. sketch_02_2_table_lamp - Chapter 2.2 Simple table lamp\n\nRead the full tutorial at [Chapter 2 - Button &\nLED](https://pi-ada-tutorial.sourceforge.io/pico_ada_c02_button_and_led), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c02_button_and_led/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c02_button_and_led/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c02_button_and_led", "origin": { "hashes": [ "sha256:b610425b387f6e96fcdd1858b6ce8babab2933ebe9e42566555ffa69c3fdbbdb", "sha512:7bd1a4a19e28a4a34f124716e5680e34fd023f1be79dc99408874730c13f96fd21ea075fe6383bbb8291061d27a02b3013305ae8bbdbc8976e9d5e1b3e366112" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-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_c02_button_and_led" }, "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-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", "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 2 - Button controled LEDs", "executables": [ "sketch_02_1_button_and_led", "sketch_02_2_table_lamp" ], "licenses": "GPL-3.0-or-later", "long-description": "Controlling an LED with a button on the Raspberry Pi Pico using Ada - two simple\nbut useful interaction examples.\n\nIn this chapter I combine a push button with an LED. We start with basic on/off control, then move to a toggle-style\ntable lamp with software debounce.\n\nContained in Chapter 02 are:\n\n1. sketch_02_1_button_and_led - Chapter 2.1 Switch LED with Button\n2. sketch_02_2_table_lamp - Chapter 2.2 Simple table lamp\n\nRead the full tutorial at [Chapter 2 - Button &\nLED](https://pi-ada-tutorial.sourceforge.io/pico_ada_c02_button_and_led), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c02_button_and_led/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c02_button_and_led/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c02_button_and_led", "origin": { "hashes": [ "sha256:a2ec4b3d003662f4c7591cbf5cf84404d4fd3d73b23abf34ce0b7468bb0e21f0", "sha512:f5f4ca4504e16a0c76f5d14cf93e7a1797967d4568dc438077a90673124561b68f12ebdc700da9fffcdfcf45066777fb26747d7e9c1ab2ddd71bc4670fe2faa3" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-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_c02_button_and_led" }, "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-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 2 - Button controled LEDs", "executables": [ "sketch_02_1_button_and_led", "sketch_02_2_table_lamp" ], "licenses": "GPL-3.0-or-later", "long-description": "Controlling an LED with a button on the Raspberry Pi Pico using Ada - two simple\nbut useful interaction examples.\n\nIn this chapter I combine a push button with an LED. We start with basic on/off control, then move to a toggle-style\ntable lamp with software debounce.\n\nContained in Chapter 02 are:\n\n1. sketch_02_1_button_and_led - Chapter 2.1 Switch LED with Button\n2. sketch_02_2_table_lamp - Chapter 2.2 Simple table lamp\n\nRead the full tutorial at [Chapter 2 - Button &\nLED](https://pi-ada-tutorial.sourceforge.io/pico_ada_c02_button_and_led), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c02_button_and_led/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c02_button_and_led/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c02_button_and_led", "origin": { "hashes": [ "sha256:af8490f7db31837a787a4702f119cdb81644d8c3e6c038b358d2bcaf8fc6152b", "sha512:9fb1ce2191d9b6650bab05eb837af9a4003e86250b709813d20c373d89225479e100720948464aee4da9876ef0abef51354f1705e3716083803d54f3ff726f41" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-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_c02_button_and_led" }, "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-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 2 - Button & LED", "executables": [ "sketch_02_1_button_and_led", "sketch_02_2_table_lamp" ], "licenses": "GPL-3.0-or-later", "long-description": "Controlling an LED with a button on the\nRaspberry Pi Pico using Ada - two simple but useful interaction examples.\n\nIn this chapter I combine a push button with an LED. We start with basic on/off\ncontrol, then move to a toggle-style table lamp with software debounce.\n\n1. Sketch_02_1_Button_And_Led - Chapter 2.1 Switch LED with Button\n1. Sketch_02_2_Table_Lamp - Chapter 2.2 Simple table lamp\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_c02_button_and_led)\n\nGNATdoc documentation:\nhttps://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c02_button_and_led/\n\nSourceForge repository:\nhttps://sourceforge.net/projects/pi-ada-tutorial/\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c02_button_and_led", "origin": { "hashes": [ "sha256:0dfb6d4a26bb975c435ab468a1080fb48d7fa26cbb6ededb816a1cd07fdd1972", "sha512:1ef2d96d20cd9e88de42558433bb80c2e2f224d3288774195d993a272670370197542427caf75d1f1e8bebcf397338ec8bab448a730954044c8061e79653d224" ], "url": "https://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" ], "version": "1.3.1", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c02_button_and_led" }, "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-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 2 - Button & LED", "executables": [ "sketch_02_1_button_and_led", "sketch_02_2_table_lamp" ], "licenses": "GPL-3.0-or-later", "long-description": "Controlling an LED with a button on the\nRaspberry Pi Pico using Ada - two simple but useful interaction examples.\n\nIn this chapter I combine a push button with an LED. We start with basic on/off\ncontrol, then move to a toggle-style table lamp with software debounce.\n\n1. Sketch_02_1_Button_And_Led - Chapter 2.1 Switch LED with Button\n1. Sketch_02_2_Table_Lamp - Chapter 2.2 Simple table lamp\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_c02_button_and_led)\n\nGNATdoc documentation:\nhttps://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c02_button_and_led/\n\nSourceForge repository:\nhttps://sourceforge.net/projects/pi-ada-tutorial/\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c02_button_and_led", "origin": { "hashes": [ "sha256:96d4cc9883b39e86ba161cea3a581938dba7c998d51dc620c19bc5bf3399e27e", "sha512:1c4111a7b1cc17c7243f8a458e08edb1a761d591549a7aa89cdac859e34d114891396d0e5b7704cdb6607ed3d7cc801c77ea6561d19d2acdb8e66e45d95ffa67" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-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_c02_button_and_led" }, "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-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 2 - Button & LED", "executables": [ "sketch_02_1_button_and_led", "sketch_02_2_table_lamp" ], "licenses": "GPL-3.0-or-later", "long-description": "Controlling an LED with a button on the\nRaspberry Pi Pico using Ada - two simple but useful interaction examples.\n\nIn this chapter I combine a push button with an LED. We start with basic on/off\ncontrol, then move to a toggle-style table lamp with software debounce.\n\n1. Sketch_02_1_Button_And_Led - Chapter 2.1 Switch LED with Button\n1. Sketch_02_2_Table_Lamp - Chapter 2.2 Simple table lamp\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_c02_button_and_led)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c02_button_and_led", "origin": { "hashes": [ "sha256:5bf96e1e41324365b333b0f73ca049ede8b3be55335c172fc1001d404a8df447", "sha512:297154659361a5ff480dfccc618ac66fa21f32b3432ab82c1e76f686cebe2dd4fd65fb2bf6eb4cdef63281c0a09f8d90247e9acee8160c6cff9cd0308ea97321" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c02_button_and_led-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_c02_button_and_led/pico_ada_c02_button_and_led-1.2.0.toml", "version": "1.2.0" } ] }, "schema_version": 4 }