{ "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 runtime for the RP2040 SoC", "development_only": false, "latest_version": "15.4.0", "name": "light_rp2040", "selected_version": "15.4.0", "versions": [ { "dependants": [], "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": 1, "first": 1, "last": 1, "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 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_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n light_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 ```\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_rp2040", "origin": { "hashes": [ "sha256:40e6b553a4bb1ba5aaafe44fd6903ef1b73fce77f80d2d5fcab999a63c904e8e", "sha512:a30bcb1bec6a8a9546db84530f4a5dd925b7a40186b8adf6cd90e7ceffa8964c53451687def998384676666ea1c4b176d5e688865d6bb12ae1d7e1be3f9a64ec" ], "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-rp2040-15.4.0.tar.gz" }, "project-files": [ "runtime_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.4.0", "website": "https://github.com/damaki/community-bb-runtimes" }, "path": "index/li/light_rp2040/light_rp2040-15.4.0.toml", "version": "15.4.0" }, { "dependants": [], "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": 1, "first": 1, "last": 1, "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 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_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n light_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 ```\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_rp2040", "origin": { "hashes": [ "sha256:13bfc37fde4f0dc674a566a4b48bbd606d29c4d3c64c93e0ac6d80ddc8bc3a5a", "sha512:a05f4a27db3ef1a6e0754fc87a6157c30f580dc80a19e1ae9ddee16843e192685fccdc89e87788e42335884600b2ebbe0573320a7a3647146ce340e54fe10482" ], "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-rp2040-15.3.0.tar.gz" }, "project-files": [ "runtime_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.3.0", "website": "https://github.com/damaki/community-bb-runtimes" }, "path": "index/li/light_rp2040/light_rp2040-15.3.0.toml", "version": "15.3.0" }, { "dependants": [], "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": 1, "first": 1, "last": 1, "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 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_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n light_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 ```\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_rp2040", "origin": { "hashes": [ "sha256:5369b43fb1939edd4d7841be9f74104f8cc896b222c81be312a3495fd24e5231", "sha512:78250570012ecec430cf32c236ca28095b72bb7e45392828771ac87d4cab912dab69f9b9e2285f98f747a26b8d0996286fdf7673df31a493201318fcbaf104f4" ], "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.2.0/light-rp2040-15.2.0.tar.gz" }, "project-files": [ "runtime_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.2.0", "website": "https://github.com/damaki/community-bb-runtimes" }, "path": "index/li/light_rp2040/light_rp2040-15.2.0.toml", "version": "15.2.0" } ] }, "schema_version": 4 }