{ "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 5: Controlling an RGB LED with PWM", "development_only": false, "latest_version": "1.8.0", "name": "pico_ada_c05_rgb", "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": "embedded_rp2040", "package": "embedded_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": { "embedded_rp2040": { "Board": "rpi_pico", "Max_CPUs": 2 }, "pico_xbsp": { "Variant": "tasking" }, "rp2040_hal": { "Interrupts": "bb_runtimes", "Use_Startup": false } } }, "depends-on": [ { "embedded_rp2040": "^15.4", "pico_bsp": "^2.2", "pico_xbsp": "^1.8", "rp2040_hal": "^2.7.1" } ], "description": "Chapter 5: Controlling an RGB LED with PWM", "executables": [ "sketch_05_1_random_color_light", "sketch_05_2_gradient_color_light" ], "licenses": "GPL-3.0-or-later", "long-description": "Learn how to drive a common-cathode RGB LED using the RP2040's PWM peripherals.\nThis chapter introduces a reusable Ada package for colour control and demonstrates both random colours and a smooth\ncolour-wheel gradient.\n\nExtend the simple LED examples to full-colour control with an RGB LED. Create a reusable `Pico.Analog.RGB_LED` package\nand explore two sketches: random colours (using the embedded runtime) and a smooth colour-wheel transition.\n\nContained in Chapter 05 are:\n\n2. sketch_05_1_random_color_light.adb\t- Chapter 5.1 Random Color Light\n3. sketch_05_2_gradient_color_light.adb - Chapter 5.2 Gradient Color Light\n\nRead the full tutorial at [Chapter 5: Controlling an RGB LED with\nPWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c05_rgb), [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_c05_rgb/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c05_rgb", "origin": { "hashes": [ "sha256:d1bdc090172ad819906d2bdd653c43af3635b1137f4c39f9a9d796780afdb419", "sha512:1effc8df15013b91cef36a3c5b5f39b60024a3ba257fbe582179081e3f4419809b6b2aae2e6120ba2fe2c33a9926cd8ca28ac737b00948115453bf442668ae0c" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-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_c05_rgb" }, "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-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": "embedded_rp2040", "package": "embedded_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": { "embedded_rp2040": { "Board": "rpi_pico", "Max_CPUs": 2 }, "rp2040_hal": { "Interrupts": "bb_runtimes", "Use_Startup": false } } }, "depends-on": [ { "embedded_rp2040": "^15.4", "pico_bsp": "^2.2", "pico_xbsp": "^1.7", "rp2040_hal": "^2.7.1" } ], "description": "Chapter 5: Controlling an RGB LED with PWM", "executables": [ "sketch_05_1_random_color_light", "sketch_05_2_gradient_color_light" ], "licenses": "GPL-3.0-or-later", "long-description": "Learn how to drive a common-cathode RGB LED using the RP2040's PWM peripherals.\nThis chapter introduces a reusable Ada package for colour control and demonstrates both random colours and a smooth\ncolour-wheel gradient.\n\nExtend the simple LED examples to full-colour control with an RGB LED. Create a reusable `Pico.Analog.RGB_LED` package\nand explore two sketches: random colours (using the embedded runtime) and a smooth colour-wheel transition.\n\nContained in Chapter 05 are:\n\n2. sketch_05_1_random_color_light.adb\t- Chapter 5.1 Random Color Light\n3. sketch_05_2_gradient_color_light.adb - Chapter 5.2 Gradient Color Light\n\nRead the full tutorial at [Chapter 5: Controlling an RGB LED with\nPWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c05_rgb), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c05_rgb/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c05_rgb/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c05_rgb", "origin": { "hashes": [ "sha256:cbf85740ac450d4fd8d1d155d7f3629a9480a186a658d8ac63d7a692a3087926", "sha512:876fbaf72e455133ec2a7094b638b436921d70810917e2e7663e6f3adaf2b7b02e7b459f78c417f5656c4d0852d7a388fbaf3f69a1b4649115d2fcb3efe235d1" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-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_c05_rgb" }, "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-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": "pico_xbsp", "package": "pico_xbsp", "provided_version": "1.8.0", "requirement": "^1.5", "resolved": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "name": "embedded_rp2040", "package": "embedded_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": { "embedded_rp2040": { "Board": "rpi_pico", "Max_CPUs": 2 }, "rp2040_hal": { "Interrupts": "bb_runtimes", "Use_Startup": false } } }, "depends-on": [ { "embedded_rp2040": "^15.3", "pico_bsp": "^2.2", "pico_xbsp": "^1.5", "rp2040_hal": "^2.7.1" } ], "description": "Chapter 5: Controlling an RGB LED with PWM", "executables": [ "sketch_05_1_random_color_light", "sketch_05_2_gradient_color_light" ], "licenses": "GPL-3.0-or-later", "long-description": "Learn how to drive a common-cathode RGB LED using the RP2040's PWM peripherals.\nThis chapter introduces a reusable Ada package for colour control and demonstrates both random colours and a smooth\ncolour-wheel gradient.\n\nExtend the simple LED examples to full-colour control with an RGB LED. Create a reusable `Pico.Analog.RGB_LED` package\nand explore two sketches: random colours (using the embedded runtime) and a smooth colour-wheel transition.\n\nContained in Chapter 05 are:\n\n2. sketch_05_1_random_color_light.adb\t- Chapter 5.1 Random Color Light\n3. sketch_05_2_gradient_color_light.adb - Chapter 5.2 Gradient Color Light\n\nRead the full tutorial at [Chapter 5: Controlling an RGB LED with\nPWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c05_rgb), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c05_rgb/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c05_rgb/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c05_rgb", "origin": { "hashes": [ "sha256:ee3443b789a4cad1d9ecff2c084737feb3656a09daeea75ae21cc0f05ab2a479", "sha512:866dcf6ef9a993d41439cd895eac4854d0dd6063203b17be312dc35613e4f190218ba1eb7a0c784340288600d60e4e5406569e75d123536038e47b8076ae22d7" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-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_c05_rgb" }, "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-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": "pico_xbsp", "package": "pico_xbsp", "provided_version": "1.8.0", "requirement": "^1.5", "resolved": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "name": "embedded_rp2040", "package": "embedded_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": { "embedded_rp2040": { "Board": "rpi_pico", "Max_CPUs": 2 }, "rp2040_hal": { "Interrupts": "bb_runtimes", "Use_Startup": false } } }, "depends-on": [ { "embedded_rp2040": "^15.3", "pico_bsp": "^2.2", "pico_xbsp": "^1.5", "rp2040_hal": "^2.7.1" } ], "description": "Chapter 5: Controlling an RGB LED with PWM", "executables": [ "sketch_05_1_random_color_light", "sketch_05_2_gradient_color_light" ], "licenses": "GPL-3.0-or-later", "long-description": "Learn how to drive a common-cathode RGB LED using the RP2040's PWM peripherals.\nThis chapter introduces a reusable Ada package for colour control and demonstrates both random colours and a smooth\ncolour-wheel gradient.\n\nExtend the simple LED examples to full-colour control with an RGB LED. Create a reusable `Pico.Analog.RGB_LED` package\nand explore two sketches: random colours (using the embedded runtime) and a smooth colour-wheel transition.\n\nContained in Chapter 05 are:\n\n2. sketch_05_1_random_color_light.adb - Chapter 5.1 Random Color Light\n3. sketch_05_2_gradient_color_light.adb - Chapter 5.2 Gradient Color Light\n\nRead the full tutorial at [Chapter 5: Controlling an RGB LED with\nPWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c05_rgb), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c05_rgb/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c05_rgb/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c05_rgb", "origin": { "hashes": [ "sha256:38e197d0eb80efa9b428967aa313841cb733279422a30a19427900b3ff087337", "sha512:aad119e7df8f299c57c86c85716d8ce93ec33e9760a50d9879779339bfd8a2368fbef471e8329088e2a2b666ca91c4cc81491d55817a5a463474f0834e1ce4d0" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-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_c05_rgb" }, "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-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": "pico_xbsp", "package": "pico_xbsp", "provided_version": "1.8.0", "requirement": "^1.5", "resolved": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "name": "embedded_rp2040", "package": "embedded_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": { "embedded_rp2040": { "Board": "rpi_pico", "Max_CPUs": 2 }, "rp2040_hal": { "Interrupts": "bb_runtimes", "Use_Startup": false } } }, "depends-on": [ { "embedded_rp2040": "^15.2", "pico_bsp": "^2.2", "pico_xbsp": "^1.5", "rp2040_hal": "^2.7.1" } ], "description": "Chapter 5: Controlling an RGB LED with PWM", "executables": [ "sketch_05_1_random_color_light", "sketch_05_2_gradient_color_light" ], "licenses": "GPL-3.0-or-later", "long-description": "Learn how to drive a common-cathode RGB LED using the RP2040's PWM peripherals.\nThis chapter introduces a reusable Ada package for colour control and demonstrates both random colours and a smooth\ncolour-wheel gradient.\n\nExtend the simple LED examples to full-colour control with an RGB LED. Create a reusable `Pico.Analog.RGB_LED` package\nand explore two sketches: random colours (using the embedded runtime) and a smooth colour-wheel transition.\n\nContained in Chapter 05 are:\n\n2. sketch_05_1_random_color_light.adb - Chapter 5.1 Random Color Light\n3. sketch_05_2_gradient_color_light.adb - Chapter 5.2 Gradient Color Light\n\nRead the full tutorial at [Chapter 5: Controlling an RGB LED with\nPWM](https://pi-ada-tutorial.sourceforge.io/pico_ada_c05_rgb), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c05_rgb/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c05_rgb/)\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c05_rgb", "origin": { "hashes": [ "sha256:46ac504e1c92a7e052b3381b47c60655daf61e791b8ea87e6e93b491d60734d3", "sha512:427c7715c53dd07eb0df7541354f481f9cd2b35906b5f1a23f0678ed000fcd163068f162d7d9b893625686ea896ce4ce5c14e3e32eff8a85f921a6befe0d947c" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-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_c05_rgb" }, "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-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": "pico_xbsp", "package": "pico_xbsp", "provided_version": "1.8.0", "requirement": "^1.5", "resolved": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "name": "embedded_rp2040", "package": "embedded_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": { "embedded_rp2040": { "Board": "rpi_pico", "Max_CPUs": 2 }, "rp2040_hal": { "Interrupts": "bb_runtimes", "Use_Startup": false } } }, "depends-on": [ { "embedded_rp2040": "^15.2", "pico_bsp": "^2.2", "pico_xbsp": "^1.5", "rp2040_hal": "^2.7.1" } ], "description": "Chapter 4: RGBLED", "executables": [ "sketch_05_1_random_color_light", "sketch_05_2_gradient_color_light" ], "licenses": "GPL-3.0-or-later", "long-description": "\nContained in Chapter 05 are:\n\n2. sketch_05_1_random_color_light.adb - Chapter 5.1 Random Color Light\n3. sketch_05_2_gradient_color_light.adb - Chapter 5.2 Gradient Color Light\n\nGNATdoc documentation:\nhttps://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_ada_c05_rgb/\n\nSourceForge repository:\nhttps://sourceforge.net/projects/pi-ada-tutorial/\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "pico_ada_c05_rgb", "origin": { "hashes": [ "sha256:b74ee8652d51ef76005baacc490ff882b897a032b6ddf5c57554dff680679555", "sha512:efe04e13f616f34eb075e2a5ee958b87fb3b7e8b796651818ec2e76c55e5792dd67635821eb0cf75551b6484b2103df1768fa93abbd0cc60604b8be85ced027f" ], "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c05_rgb-1.5.0.tgz" }, "tags": [ "raspberry", "pi", "pico", "rp2040", "tasking", "light-tasking", "ada2022", "embedded" ], "version": "1.5.0", "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c05_rgb" }, "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "version": "1.5.0" } ] }, "schema_version": 4 }