{ "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": "light-tasking runtime for the RP2040 SoC", "development_only": false, "latest_version": "15.4.0", "name": "light_tasking_rp2040", "selected_version": "15.4.0", "versions": [ { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.6.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.2.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.1.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.2.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.1.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.1.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.2.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.6.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.2.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.1.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.2.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_st7789", "path": "index/pi/pico_st7789/pico_st7789-0.1.2.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "*", "requires": "light_tasking_rp2040", "selected": true, "version": "0.1.2" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "gnat_arm_elf", "package": "gnat_arm_elf", "provided_version": "15.3.1", "requirement": "^15", "resolved": true, "version": "15.3.1" } ], "development": false, "external": false, "manifest": { "authors": [ "AdaCore", "Daniel King" ], "configuration": { "output_dir": "gnat_user", "variables": { "Board": { "default": "rpi_pico", "type": "Enum", "values": [ "generic_board", "rpi_pico", "adafruit_feather_rp2040", "adafruit_itsybitsy_rp2040", "adafruit_macropad_rp2040", "adafruit_qt2040_trinkey", "adafruit_qtpy_rp2040", "arduino_nano_rp2040_connect", "pimoroni_interstate75", "pimoroni_keybow2040", "pimoroni_pga2040", "pimoroni_picolipo_4m", "pimoroni_picolipo_16m", "pimoroni_picosystem", "pimoroni_plasma2040", "pimoroni_tiny2040", "sparkfun_micromod", "sparkfun_promicro", "sparkfun_thingplus" ] }, "Flash_Chip": { "default": "generic_qspi_128", "type": "Enum", "values": [ "generic_qspi_128", "at25sf128a", "gd25q64c", "w25q16jv", "w25q32jv", "w25q64jv", "w25q128jv" ] }, "Interrupt_Secondary_Stack_Size": { "default": 128, "first": 1, "type": "Integer" }, "Interrupt_Stack_Size": { "default": 1024, "first": 1, "type": "Integer" }, "Max_CPUs": { "default": 2, "first": 1, "last": 2, "type": "Integer" }, "PLL_Sys_Post_Div_1": { "default": 6, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_Sys_VCO_Multiple": { "default": 125, "first": 16, "last": 320, "type": "Integer" }, "PLL_USB_Post_Div_1": { "default": 5, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_USB_VCO_Multiple": { "default": 40, "first": 16, "last": 320, "type": "Integer" }, "Time_Base": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^15" } ], "description": "light-tasking runtime for the RP2040 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2040 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project files. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n with \"ravenscar_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2040", "origin": { "hashes": [ "sha256:c3806fc6513a45fab23e9b5eb221ae879b774cc1ae51bcc0f92234a124a33f1d", "sha512:a89f64663862318b01fa9e7f2d0aa243bbb20d05403e3a9fd74fa28c711154452062f21d36d00bc88b48bab8db7334a81a65d3d1f105dde3c3814084497d8a52" ], "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-tasking-rp2040-15.4.0.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.4.0", "website": "https://github.com/damaki/community-bb-runtimes" }, "path": "index/li/light_tasking_rp2040/light_tasking_rp2040-15.4.0.toml", "version": "15.4.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.6.0.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.2.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.1.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.2.0.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.1.0.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.1.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.2.0.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.6.0.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.2.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.1.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.0.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.2.0.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_st7789", "path": "index/pi/pico_st7789/pico_st7789-0.1.2.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "*", "requires": "light_tasking_rp2040", "selected": true, "version": "0.1.2" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "gnat_arm_elf", "package": "gnat_arm_elf", "provided_version": "15.3.1", "requirement": "^15", "resolved": true, "version": "15.3.1" } ], "development": false, "external": false, "manifest": { "authors": [ "AdaCore", "Daniel King" ], "configuration": { "output_dir": "gnat_user", "variables": { "Board": { "default": "rpi_pico", "type": "Enum", "values": [ "generic_board", "rpi_pico", "adafruit_feather_rp2040", "adafruit_itsybitsy_rp2040", "adafruit_macropad_rp2040", "adafruit_qt2040_trinkey", "adafruit_qtpy_rp2040", "arduino_nano_rp2040_connect", "pimoroni_interstate75", "pimoroni_keybow2040", "pimoroni_pga2040", "pimoroni_picolipo_4m", "pimoroni_picolipo_16m", "pimoroni_picosystem", "pimoroni_plasma2040", "pimoroni_tiny2040", "sparkfun_micromod", "sparkfun_promicro", "sparkfun_thingplus" ] }, "Flash_Chip": { "default": "generic_qspi_128", "type": "Enum", "values": [ "generic_qspi_128", "at25sf128a", "gd25q64c", "w25q16jv", "w25q32jv", "w25q64jv", "w25q128jv" ] }, "Interrupt_Secondary_Stack_Size": { "default": 128, "first": 1, "type": "Integer" }, "Interrupt_Stack_Size": { "default": 1024, "first": 1, "type": "Integer" }, "Max_CPUs": { "default": 2, "first": 1, "last": 2, "type": "Integer" }, "PLL_Sys_Post_Div_1": { "default": 6, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_Sys_VCO_Multiple": { "default": 125, "first": 16, "last": 320, "type": "Integer" }, "PLL_USB_Post_Div_1": { "default": 5, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_USB_VCO_Multiple": { "default": 40, "first": 16, "last": 320, "type": "Integer" }, "Time_Base": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^15" } ], "description": "light-tasking runtime for the RP2040 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2040 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project files. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n with \"ravenscar_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2040", "origin": { "hashes": [ "sha256:c9c04aed054a908b9754afa252efd7d8b32b06e6ceb86e2d264b452442240de3", "sha512:7c40cff5459bbbfe41f4d68ce56524499418577ba5dca03f5ed6dd85adf8da051e8c8b4490d9bb8928fe3f876874beffa7ee8074029c84b18fb5342a0c6fe6bb" ], "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-tasking-rp2040-15.3.0.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.3.0", "website": "https://github.com/damaki/community-bb-runtimes" }, "path": "index/li/light_tasking_rp2040/light_tasking_rp2040-15.3.0.toml", "version": "15.3.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.6.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.2.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.1.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.2.0.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.1.0.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.1.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.2.0.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.6.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.2.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.1.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.0.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.2.0.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_st7789", "path": "index/pi/pico_st7789/pico_st7789-0.1.2.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "*", "requires": "light_tasking_rp2040", "selected": true, "version": "0.1.2" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "gnat_arm_elf", "package": "gnat_arm_elf", "provided_version": "15.3.1", "requirement": "^15", "resolved": true, "version": "15.3.1" } ], "development": false, "external": false, "manifest": { "authors": [ "AdaCore", "Daniel King" ], "configuration": { "output_dir": "gnat_user", "variables": { "Board": { "default": "rpi_pico", "type": "Enum", "values": [ "generic_board", "rpi_pico", "adafruit_feather_rp2040", "adafruit_itsybitsy_rp2040", "adafruit_macropad_rp2040", "adafruit_qt2040_trinkey", "adafruit_qtpy_rp2040", "arduino_nano_rp2040_connect", "pimoroni_interstate75", "pimoroni_keybow2040", "pimoroni_pga2040", "pimoroni_picolipo_4m", "pimoroni_picolipo_16m", "pimoroni_picosystem", "pimoroni_plasma2040", "pimoroni_tiny2040", "sparkfun_micromod", "sparkfun_promicro", "sparkfun_thingplus" ] }, "Flash_Chip": { "default": "generic_qspi_128", "type": "Enum", "values": [ "generic_qspi_128", "at25sf128a", "gd25q64c", "w25q16jv", "w25q32jv", "w25q64jv", "w25q128jv" ] }, "Interrupt_Secondary_Stack_Size": { "default": 128, "first": 1, "type": "Integer" }, "Interrupt_Stack_Size": { "default": 1024, "first": 1, "type": "Integer" }, "Max_CPUs": { "default": 2, "first": 1, "last": 2, "type": "Integer" }, "PLL_Sys_Post_Div_1": { "default": 6, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_Sys_VCO_Multiple": { "default": 125, "first": 16, "last": 320, "type": "Integer" }, "PLL_USB_Post_Div_1": { "default": 5, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_USB_VCO_Multiple": { "default": 40, "first": 16, "last": 320, "type": "Integer" }, "Time_Base": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^15" } ], "description": "light-tasking runtime for the RP2040 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2040 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project files. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n with \"ravenscar_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2040", "origin": { "hashes": [ "sha256:8e0bd80ed76cf95e4e123040dcdf57ad08771ee69b5c494deaee9c8e5d6ddec7", "sha512:37b8fcebfd0373c681d0ca13459cc57c452e04cc4baad2c3437f62a7b4deffbf47a06be3f318225de80a25471b6bf26594cf1b70cf1e3d21e8a850aacc7ab3fc" ], "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.2.0/light-tasking-rp2040-15.2.0.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.2.0", "website": "https://github.com/damaki/community-bb-runtimes" }, "path": "index/li/light_tasking_rp2040/light_tasking_rp2040-15.2.0.toml", "version": "15.2.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.6.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.2.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.1.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.2.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.1.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.1.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.2.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.6.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.2.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.1.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.2.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_st7789", "path": "index/pi/pico_st7789/pico_st7789-0.1.2.toml", "provided_version": "15.1.2", "qualifies": true, "requirement": "*", "requires": "light_tasking_rp2040", "selected": true, "version": "0.1.2" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "gnat_arm_elf", "package": "gnat_arm_elf", "provided_version": "15.3.1", "requirement": "^15", "resolved": true, "version": "15.3.1" } ], "development": false, "external": false, "manifest": { "authors": [ "AdaCore", "Daniel King" ], "configuration": { "generate_c": false, "output_dir": "gnat_user", "variables": { "Board": { "default": "rpi_pico", "type": "Enum", "values": [ "generic_board", "rpi_pico", "adafruit_feather_rp2040", "adafruit_itsybitsy_rp2040", "adafruit_macropad_rp2040", "adafruit_qt2040_trinkey", "adafruit_qtpy_rp2040", "arduino_nano_rp2040_connect", "pimoroni_interstate75", "pimoroni_keybow2040", "pimoroni_pga2040", "pimoroni_picolipo_4m", "pimoroni_picolipo_16m", "pimoroni_picosystem", "pimoroni_plasma2040", "pimoroni_tiny2040", "sparkfun_micromod", "sparkfun_promicro", "sparkfun_thingplus" ] }, "Flash_Chip": { "default": "generic_qspi_128", "type": "Enum", "values": [ "generic_qspi_128", "at25sf128a", "gd25q64c", "w25q16jv", "w25q32jv", "w25q64jv", "w25q128jv" ] }, "Interrupt_Secondary_Stack_Size": { "default": 128, "first": 1, "type": "Integer" }, "Interrupt_Stack_Size": { "default": 1024, "first": 1, "type": "Integer" }, "Max_CPUs": { "default": 2, "first": 1, "last": 2, "type": "Integer" }, "PLL_Sys_Post_Div_1": { "default": 6, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_Sys_VCO_Multiple": { "default": 125, "first": 16, "last": 320, "type": "Integer" }, "PLL_USB_Post_Div_1": { "default": 5, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_USB_VCO_Multiple": { "default": 40, "first": 16, "last": 320, "type": "Integer" }, "Time_Base": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^15" } ], "description": "light-tasking runtime for the RP2040 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2040 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project files. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n with \"ravenscar_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2040", "origin": { "hashes": [ "sha256:d02273a896d073d94dfe314d6b6c29741aa1f7e287486718b39822cc111f1139", "sha512:5a98eebccc340dd3ea75ee49b0ba4d4ad0ee44822ec9153ed73b3b63e5f2a491da4256493564ea430ee236a13475a98205ca7ace470fe4696392405267b529d5" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.1.2/light-tasking-rp2040-15.1.2.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.1.2", "website": "https://github.com/damaki/rp-runtimes" }, "path": "index/li/light_tasking_rp2040/light_tasking_rp2040-15.1.2.toml", "version": "15.1.2" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.6.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.2.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.1.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.2.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.1.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.1.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.2.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.6.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.2.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.1.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.2.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_st7789", "path": "index/pi/pico_st7789/pico_st7789-0.1.2.toml", "provided_version": "15.1.1", "qualifies": true, "requirement": "*", "requires": "light_tasking_rp2040", "selected": true, "version": "0.1.2" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "gnat_arm_elf", "package": "gnat_arm_elf", "provided_version": "15.3.1", "requirement": "^15", "resolved": true, "version": "15.3.1" } ], "development": false, "external": false, "manifest": { "authors": [ "AdaCore", "Daniel King" ], "configuration": { "generate_c": false, "output_dir": "gnat_user", "variables": { "Board": { "default": "rpi_pico", "type": "Enum", "values": [ "generic_board", "rpi_pico", "adafruit_feather_rp2040", "adafruit_itsybitsy_rp2040", "adafruit_macropad_rp2040", "adafruit_qt2040_trinkey", "adafruit_qtpy_rp2040", "arduino_nano_rp2040_connect", "pimoroni_interstate75", "pimoroni_keybow2040", "pimoroni_pga2040", "pimoroni_picolipo_4m", "pimoroni_picolipo_16m", "pimoroni_picosystem", "pimoroni_plasma2040", "pimoroni_tiny2040", "sparkfun_micromod", "sparkfun_promicro", "sparkfun_thingplus" ] }, "Flash_Chip": { "default": "generic_qspi_128", "type": "Enum", "values": [ "generic_qspi_128", "at25sf128a", "gd25q64c", "w25q16jv", "w25q32jv", "w25q64jv", "w25q128jv" ] }, "Interrupt_Secondary_Stack_Size": { "default": 128, "first": 1, "type": "Integer" }, "Interrupt_Stack_Size": { "default": 1024, "first": 1, "type": "Integer" }, "Max_CPUs": { "default": 2, "first": 1, "last": 2, "type": "Integer" }, "PLL_Sys_Post_Div_1": { "default": 6, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_Sys_VCO_Multiple": { "default": 125, "first": 16, "last": 320, "type": "Integer" }, "PLL_USB_Post_Div_1": { "default": 5, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_USB_VCO_Multiple": { "default": 40, "first": 16, "last": 320, "type": "Integer" }, "Time_Base": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^15" } ], "description": "light-tasking runtime for the RP2040 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2040 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project files. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n with \"ravenscar_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2040", "origin": { "hashes": [ "sha256:fa71836ada940377c5a02565134265b539a7e44b915a809cc0e8932076938472", "sha512:66146d710d13027aba5dbbba7be7538a0b0fde8c1f54ec8fb2c01903b959c0e5cd82c14b66404d89d30548baf0e28f3c3b446b110bc1f2240874d28c78ee8dc5" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.1.1/light-tasking-rp2040-15.1.1.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.1.1", "website": "https://github.com/damaki/rp-runtimes" }, "path": "index/li/light_tasking_rp2040/light_tasking_rp2040-15.1.1.toml", "version": "15.1.1" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.6.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.2.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.1.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.2.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.1.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.1.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.2.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.6.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.2.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.1.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.2.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_st7789", "path": "index/pi/pico_st7789/pico_st7789-0.1.2.toml", "provided_version": "15.1.0", "qualifies": true, "requirement": "*", "requires": "light_tasking_rp2040", "selected": true, "version": "0.1.2" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "gnat_arm_elf", "package": "gnat_arm_elf", "provided_version": "15.3.1", "requirement": "^15", "resolved": true, "version": "15.3.1" } ], "development": false, "external": false, "manifest": { "authors": [ "AdaCore", "Daniel King" ], "configuration": { "generate_c": false, "output_dir": "gnat_user", "variables": { "Board": { "default": "rpi_pico", "type": "Enum", "values": [ "generic_board", "rpi_pico", "adafruit_feather_rp2040", "adafruit_itsybitsy_rp2040", "adafruit_macropad_rp2040", "adafruit_qt2040_trinkey", "adafruit_qtpy_rp2040", "arduino_nano_rp2040_connect", "pimoroni_interstate75", "pimoroni_keybow2040", "pimoroni_pga2040", "pimoroni_picolipo_4m", "pimoroni_picolipo_16m", "pimoroni_picosystem", "pimoroni_plasma2040", "pimoroni_tiny2040", "sparkfun_micromod", "sparkfun_promicro", "sparkfun_thingplus" ] }, "Flash_Chip": { "default": "generic_qspi_128", "type": "Enum", "values": [ "generic_qspi_128", "at25sf128a", "gd25q64c", "w25q16jv", "w25q32jv", "w25q64jv", "w25q128jv" ] }, "Interrupt_Secondary_Stack_Size": { "default": 128, "first": 1, "type": "Integer" }, "Interrupt_Stack_Size": { "default": 1024, "first": 1, "type": "Integer" }, "Max_CPUs": { "default": 2, "first": 1, "last": 2, "type": "Integer" }, "PLL_Sys_Post_Div_1": { "default": 6, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_Sys_VCO_Multiple": { "default": 125, "first": 16, "last": 320, "type": "Integer" }, "PLL_USB_Post_Div_1": { "default": 5, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_USB_VCO_Multiple": { "default": 40, "first": 16, "last": 320, "type": "Integer" }, "Time_Base": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^15" } ], "description": "light-tasking runtime for the RP2040 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2040 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project file. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2040", "origin": { "hashes": [ "sha256:2e19ff7b6cc09661793362bc764dabb8bf9095084abe892fc03e4102175ac717", "sha512:1a7a349b563a033faea0461744955088d34308b54d1a0aa3fc54eb540353b564ad8c97d931dff97c064175f2928d1d2fc0e4cdced77d936a228875d040ba49a1" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.1.0/light-tasking-rp2040-15.1.0.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.1.0", "website": "https://github.com/damaki/rp-runtimes" }, "path": "index/li/light_tasking_rp2040/light_tasking_rp2040-15.1.0.toml", "version": "15.1.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.6.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.2.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.1.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.2.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.1.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.1.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.2.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.6.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.2.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.1.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.2.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_st7789", "path": "index/pi/pico_st7789/pico_st7789-0.1.2.toml", "provided_version": "15.0.0", "qualifies": true, "requirement": "*", "requires": "light_tasking_rp2040", "selected": true, "version": "0.1.2" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "gnat_arm_elf", "package": "gnat_arm_elf", "provided_version": "15.3.1", "requirement": "^15", "resolved": true, "version": "15.3.1" } ], "development": false, "external": false, "manifest": { "authors": [ "AdaCore", "Daniel King" ], "configuration": { "generate_c": false, "output_dir": "gnat_user", "variables": { "Board": { "default": "rpi_pico", "type": "Enum", "values": [ "generic_board", "rpi_pico", "adafruit_feather_rp2040", "adafruit_itsybitsy_rp2040", "adafruit_macropad_rp2040", "adafruit_qt2040_trinkey", "adafruit_qtpy_rp2040", "arduino_nano_rp2040_connect", "pimoroni_interstate75", "pimoroni_keybow2040", "pimoroni_pga2040", "pimoroni_picolipo_4m", "pimoroni_picolipo_16m", "pimoroni_picosystem", "pimoroni_plasma2040", "pimoroni_tiny2040", "sparkfun_micromod", "sparkfun_promicro", "sparkfun_thingplus" ] }, "Flash_Chip": { "default": "generic_qspi_128", "type": "Enum", "values": [ "generic_qspi_128", "at25sf128a", "gd25q64c", "w25q16jv", "w25q32jv", "w25q64jv", "w25q128jv" ] }, "Interrupt_Secondary_Stack_Size": { "default": 128, "first": 1, "type": "Integer" }, "Interrupt_Stack_Size": { "default": 1024, "first": 1, "type": "Integer" }, "Max_CPUs": { "default": 2, "first": 1, "last": 2, "type": "Integer" }, "PLL_Sys_Post_Div_1": { "default": 6, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_Sys_VCO_Multiple": { "default": 125, "first": 16, "last": 320, "type": "Integer" }, "PLL_USB_Post_Div_1": { "default": 5, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_USB_VCO_Multiple": { "default": 40, "first": 16, "last": 320, "type": "Integer" }, "Time_Base": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^15" } ], "description": "light-tasking runtime for the rp2040 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2040 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project file. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2040", "origin": { "hashes": [ "sha256:41b3ac5fbf69a8f33a40cbfcf954174bb674d875ea33da8f663de178177df392", "sha512:038ca76da28b28229154cbfc10ee03197f788b8a7381f2eb2c6a825c4ce78fcecf805ce2e9aeffd4fcb620572249587623473d4566a840466b2210b254f6df1d" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.0.0/light-tasking-rp2040-15.0.0.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.0.0", "website": "https://github.com/damaki/rp-runtimes" }, "path": "index/li/light_tasking_rp2040/light_tasking_rp2040-15.0.0.toml", "version": "15.0.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.6.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.2.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.1.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.2.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.1.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.1.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.2.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.6.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.2.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.1.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.2.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_st7789", "path": "index/pi/pico_st7789/pico_st7789-0.1.2.toml", "provided_version": "14.0.2", "qualifies": true, "requirement": "*", "requires": "light_tasking_rp2040", "selected": true, "version": "0.1.2" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "gnat_arm_elf", "package": "gnat_arm_elf", "provided_version": "14.2.1", "requirement": "^14", "resolved": true, "version": "14.2.1" } ], "development": false, "external": false, "manifest": { "authors": [ "AdaCore", "Daniel King" ], "configuration": { "generate_c": false, "output_dir": "gnat_user", "variables": { "Board": { "default": "rpi_pico", "type": "Enum", "values": [ "generic_board", "rpi_pico", "adafruit_feather_rp2040", "adafruit_itsybitsy_rp2040", "adafruit_macropad_rp2040", "adafruit_qt2040_trinkey", "adafruit_qtpy_rp2040", "arduino_nano_rp2040_connect", "pimoroni_interstate75", "pimoroni_keybow2040", "pimoroni_pga2040", "pimoroni_picolipo_4m", "pimoroni_picolipo_16m", "pimoroni_picosystem", "pimoroni_plasma2040", "pimoroni_tiny2040", "sparkfun_micromod", "sparkfun_promicro", "sparkfun_thingplus" ] }, "Flash_Chip": { "default": "generic_qspi_128", "type": "Enum", "values": [ "generic_qspi_128", "at25sf128a", "gd25q64c", "w25q16jv", "w25q32jv", "w25q64jv", "w25q128jv" ] }, "Interrupt_Secondary_Stack_Size": { "default": 128, "first": 1, "type": "Integer" }, "Interrupt_Stack_Size": { "default": 1024, "first": 1, "type": "Integer" }, "Max_CPUs": { "default": 2, "first": 1, "last": 2, "type": "Integer" }, "PLL_Sys_Post_Div_1": { "default": 6, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_Sys_VCO_Multiple": { "default": 125, "first": 16, "last": 320, "type": "Integer" }, "PLL_USB_Post_Div_1": { "default": 5, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_USB_VCO_Multiple": { "default": 40, "first": 16, "last": 320, "type": "Integer" }, "Time_Base": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^14" } ], "description": "light-tasking runtime for the rp2040 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2040 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project files. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n with \"ravenscar_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2040", "origin": { "hashes": [ "sha256:7063b4e91c0775235447338be20c97a49225f302e4daedfb10c058df9408b6f9", "sha512:04992df68283392f562de55e56eba280e31f1954cae1d7ea7471efbd6d2963a2260a66d4f31afe0f2ef813d6bb5ad901e9737f70424698faeb4b6079fd9c7d31" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v14.0.2/light-tasking-rp2040-14.0.2.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "14.0.2", "website": "https://github.com/damaki/rp-runtimes" }, "path": "index/li/light_tasking_rp2040/light_tasking_rp2040-14.0.2.toml", "version": "14.0.2" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.6.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.2.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.1.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.2.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.1.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.1.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.2.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.6.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.2.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.1.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.2.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_st7789", "path": "index/pi/pico_st7789/pico_st7789-0.1.2.toml", "provided_version": "14.0.1", "qualifies": true, "requirement": "*", "requires": "light_tasking_rp2040", "selected": true, "version": "0.1.2" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "gnat_arm_elf", "package": "gnat_arm_elf", "provided_version": "14.2.1", "requirement": "^14", "resolved": true, "version": "14.2.1" } ], "development": false, "external": false, "manifest": { "authors": [ "AdaCore", "Daniel King" ], "configuration": { "generate_c": false, "output_dir": "gnat_user", "variables": { "Board": { "default": "rpi_pico", "type": "Enum", "values": [ "generic_board", "rpi_pico", "adafruit_feather_rp2040", "adafruit_itsybitsy_rp2040", "adafruit_macropad_rp2040", "adafruit_qt2040_trinkey", "adafruit_qtpy_rp2040", "arduino_nano_rp2040_connect", "pimoroni_interstate75", "pimoroni_keybow2040", "pimoroni_pga2040", "pimoroni_picolipo_4m", "pimoroni_picolipo_16m", "pimoroni_picosystem", "pimoroni_plasma2040", "pimoroni_tiny2040", "sparkfun_micromod", "sparkfun_promicro", "sparkfun_thingplus" ] }, "Flash_Chip": { "default": "generic_qspi_128", "type": "Enum", "values": [ "generic_qspi_128", "at25sf128a", "gd25q64c", "w25q16jv", "w25q32jv", "w25q64jv", "w25q128jv" ] }, "Interrupt_Secondary_Stack_Size": { "default": 128, "first": 1, "type": "Integer" }, "Interrupt_Stack_Size": { "default": 1024, "first": 1, "type": "Integer" }, "Max_CPUs": { "default": 2, "first": 1, "last": 2, "type": "Integer" }, "PLL_Sys_Post_Div_1": { "default": 6, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_Sys_VCO_Multiple": { "default": 125, "first": 16, "last": 320, "type": "Integer" }, "PLL_USB_Post_Div_1": { "default": 5, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_USB_VCO_Multiple": { "default": 40, "first": 16, "last": 320, "type": "Integer" }, "Time_Base": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^14" } ], "description": "light-tasking runtime for the rp2040 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2040 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project files. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n with \"ravenscar_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2040", "origin": { "hashes": [ "sha256:aab371f8beac4b9f6e64df4e1755c2b447756a9951514ec2a28f12ee4ad95e69", "sha512:80610c5f62a8264e605572daff7623e68c65bc0c6e3810f69facb754cd16934b5748ff82a8984340612f79a6bf08cab6d9f5b26ad6ffe2528713e60a6a784ea4" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v14.0.1/light-tasking-rp2040-14.0.1.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "14.0.1", "website": "https://github.com/damaki/rp-runtimes" }, "path": "index/li/light_tasking_rp2040/light_tasking_rp2040-14.0.1.toml", "version": "14.0.1" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.8.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.7.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.6.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.2.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.5.1.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.1.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.3.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.2.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_lt", "path": "index/pi/pico_ada_c01_blink_lt/pico_ada_c01_blink_lt-1.1.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.1.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "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", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c02_button_and_led", "path": "index/pi/pico_ada_c02_button_and_led/pico_ada_c02_button_and_led-1.2.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.8.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.7.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.6.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.2.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.5.1.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.1.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.3.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.3.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c03_led_bar", "path": "index/pi/pico_ada_c03_led_bar/pico_ada_c03_led_bar-1.2.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.2.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.8.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.7.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.6.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.2.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.3", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.5.1.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c04_pwm", "path": "index/pi/pico_ada_c04_pwm/pico_ada_c04_pwm-1.4.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "light_tasking_rp2040", "selected": false, "version": "1.4.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.8.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.7.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.7.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "light_tasking_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_st7789", "path": "index/pi/pico_st7789/pico_st7789-0.1.2.toml", "provided_version": "14.0.0", "qualifies": true, "requirement": "*", "requires": "light_tasking_rp2040", "selected": true, "version": "0.1.2" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "gnat_arm_elf", "package": "gnat_arm_elf", "provided_version": "14.2.1", "requirement": "^14", "resolved": true, "version": "14.2.1" } ], "development": false, "external": false, "manifest": { "authors": [ "AdaCore", "Daniel King" ], "configuration": { "generate_c": false, "output_dir": "gnat_user", "variables": { "Board": { "default": "rpi_pico", "type": "Enum", "values": [ "generic_board", "rpi_pico", "adafruit_feather_rp2040", "adafruit_itsybitsy_rp2040", "adafruit_macropad_rp2040", "adafruit_qt2040_trinkey", "adafruit_qtpy_rp2040", "arduino_nano_rp2040_connect", "pimoroni_interstate75", "pimoroni_keybow2040", "pimoroni_pga2040", "pimoroni_picolipo_4m", "pimoroni_picolipo_16m", "pimoroni_picosystem", "pimoroni_plasma2040", "pimoroni_tiny2040", "sparkfun_micromod", "sparkfun_promicro", "sparkfun_thingplus" ] }, "Flash_Chip": { "default": "generic_qspi_128", "type": "Enum", "values": [ "generic_qspi_128", "at25sf128a", "gd25q64c", "w25q16jv", "w25q32jv", "w25q64jv", "w25q128jv" ] }, "Interrupt_Secondary_Stack_Size": { "default": 128, "first": 1, "type": "Integer" }, "Interrupt_Stack_Size": { "default": 1024, "first": 1, "type": "Integer" }, "Max_CPUs": { "default": 2, "first": 1, "last": 2, "type": "Integer" }, "PLL_Sys_Post_Div_1": { "default": 6, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_Sys_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_Sys_VCO_Multiple": { "default": 125, "first": 16, "last": 320, "type": "Integer" }, "PLL_USB_Post_Div_1": { "default": 5, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Post_Div_2": { "default": 2, "first": 1, "last": 7, "type": "Integer" }, "PLL_USB_Reference_Div": { "default": 1, "first": 1, "last": 63, "type": "Integer" }, "PLL_USB_VCO_Multiple": { "default": 40, "first": 16, "last": 320, "type": "Integer" }, "Time_Base": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^14" } ], "description": "light-tasking runtime for the rp2040 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2040 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project file. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2040", "origin": { "hashes": [ "sha256:75608d2e479f37356e52ac637d296ad2fabb6a3a8fa6f76244ec16a3232518ff", "sha512:549af6ce665224ab735952d0ddfaac54d74bd80269ba8a1b685e8d892f7b7edab4f00d933155fe3ceda7cf4785f5f8a10673d3fc8fee8a082b3847f34cc11f54" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v14.0.0/light-tasking-rp2040-14.0.0.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "14.0.0", "website": "https://github.com/damaki/rp-runtimes" }, "path": "index/li/light_tasking_rp2040/light_tasking_rp2040-14.0.0.toml", "version": "14.0.0" } ] }, "schema_version": 4 }