{ "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": "embedded runtime for the RP2040 SoC", "development_only": false, "latest_version": "15.4.0", "name": "embedded_rp2040", "selected_version": "15.4.0", "versions": [ { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24840.1.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24840.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24820.1.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": false, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_lib_embedded", "path": "index/mu/munts_rp2040_lib_embedded/munts_rp2040_lib_embedded-2.24820.1.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.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.1.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "15.4.0", "qualifies": true, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" } ], "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": "embedded 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 `embedded_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n embedded_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": "embedded_rp2040", "origin": { "hashes": [ "sha256:191471815a0470a4e6310e7549c19f4c8a26fffbe61c8c5f39b6d52f53ed2338", "sha512:92c3475040ba85514e2b519a028cce72f743158752f50ba9b95465201492b6ea8ae3fa7cf721bfb8893b8655de2cb0f60fb76ff63de5d5982cbbdaac4650b8fe" ], "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/embedded-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/em/embedded_rp2040/embedded_rp2040-15.4.0.toml", "version": "15.4.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24840.1.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24840.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24820.1.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": false, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_lib_embedded", "path": "index/mu/munts_rp2040_lib_embedded/munts_rp2040_lib_embedded-2.24820.1.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "15.3.0", "qualifies": true, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.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.1.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "15.3.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" } ], "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": "embedded 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 `embedded_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n embedded_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": "embedded_rp2040", "origin": { "hashes": [ "sha256:860ea34add08105ee3ee2caf558060cd516e3e607a865eccbf10fff65748b3a4", "sha512:15f02b9bd4998f90e4b2019e8c30d8b5dbd5f2a84445d6806289fba47adda366b861a03026943d0caa8c1581aff95e1602301d8c861f61e5f45703e38e6da4ca" ], "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/embedded-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/em/embedded_rp2040/embedded_rp2040-15.3.0.toml", "version": "15.3.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24840.1.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24840.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24820.1.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": false, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_lib_embedded", "path": "index/mu/munts_rp2040_lib_embedded/munts_rp2040_lib_embedded-2.24820.1.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "15.2.0", "qualifies": true, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.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.1.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "15.2.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" } ], "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": "embedded 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 `embedded_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n embedded_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": "embedded_rp2040", "origin": { "hashes": [ "sha256:ad91fa6680319b278464c34c73b93aa09af9b4a376c788840ebb1386b271f86d", "sha512:ab9a74aeddd29a25077c8c6d0637d9485b4bbd517bcb55e138bbda3b6131df8d688e8f600db9c86b5e73b59b9dd2f56c350d6ba74178ec281765eff36aaffbed" ], "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.2.0/embedded-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/em/embedded_rp2040/embedded_rp2040-15.2.0.toml", "version": "15.2.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24840.1.toml", "provided_version": "15.1.2", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24840.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24820.1.toml", "provided_version": "15.1.2", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": false, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_lib_embedded", "path": "index/mu/munts_rp2040_lib_embedded/munts_rp2040_lib_embedded-2.24820.1.toml", "provided_version": "15.1.2", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.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.1.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "15.1.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" } ], "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": "embedded 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 `embedded_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n embedded_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": "embedded_rp2040", "origin": { "hashes": [ "sha256:49cc293742fa038d7406dedfd6406e9818682a88ea42987320eaf5b2745055dc", "sha512:76b7866166f2272a64f2beb8a7200c9cfd37ae93421c1a985aba9581a0891f8d7aabd46f042e1cfd526ca5a0892958796a780f0c9058fa0fee8340c2fe7dee40" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.1.2/embedded-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/em/embedded_rp2040/embedded_rp2040-15.1.2.toml", "version": "15.1.2" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24840.1.toml", "provided_version": "15.1.1", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24840.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24820.1.toml", "provided_version": "15.1.1", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": false, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_lib_embedded", "path": "index/mu/munts_rp2040_lib_embedded/munts_rp2040_lib_embedded-2.24820.1.toml", "provided_version": "15.1.1", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.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.1.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "15.1.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" } ], "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": "embedded 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 `embedded_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n embedded_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": "embedded_rp2040", "origin": { "hashes": [ "sha256:7824a8971bef84157dce7e0114cd3e1103533c3ff381282ea092534d022e5890", "sha512:a50d24d31c22244e356e3034706d97bed9dd8fe1f705fa570414f11a9360943c602aec630815e620c796e2ebe55fca7290cbd5e2c51d2128e4af8372f756dddb" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.1.1/embedded-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/em/embedded_rp2040/embedded_rp2040-15.1.1.toml", "version": "15.1.1" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24840.1.toml", "provided_version": "15.1.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24840.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24820.1.toml", "provided_version": "15.1.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": false, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_lib_embedded", "path": "index/mu/munts_rp2040_lib_embedded/munts_rp2040_lib_embedded-2.24820.1.toml", "provided_version": "15.1.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.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.1.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "15.1.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" } ], "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": "embedded 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 `embedded_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n embedded_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": "embedded_rp2040", "origin": { "hashes": [ "sha256:b18ecd0b7288e52ec00bb6fcf84521b3aa32c7f6fb4b99048f0cbd71e5048c5d", "sha512:189d4108d2493f9f6e64938a61be34e13ebfdd828d82bf4265689cadc0e94f32030b420d70066bb41c1ad5558344df11db5b1adc023f0748cbfc0ea38bb36e6b" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.1.0/embedded-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/em/embedded_rp2040/embedded_rp2040-15.1.0.toml", "version": "15.1.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24840.1.toml", "provided_version": "15.0.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24840.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24820.1.toml", "provided_version": "15.0.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": false, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_lib_embedded", "path": "index/mu/munts_rp2040_lib_embedded/munts_rp2040_lib_embedded-2.24820.1.toml", "provided_version": "15.0.0", "qualifies": true, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.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.1.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "15.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" } ], "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": "embedded 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 `embedded_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n embedded_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": "embedded_rp2040", "origin": { "hashes": [ "sha256:17c46423db88b497532ebc277a3d29cddacd4e39e2b9bec71e3c5c4c8bd4b776", "sha512:869f626109a8212aed19d34d401ddebedec3b56c77d21ce5b4be47cac625993f279db42b5f09c65f7277fce837b8f30e9143322e9fb11d885724e476c8859bbc" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.0.0/embedded-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/em/embedded_rp2040/embedded_rp2040-15.0.0.toml", "version": "15.0.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24840.1.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24840.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24820.1.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15", "requires": "embedded_rp2040", "selected": false, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_lib_embedded", "path": "index/mu/munts_rp2040_lib_embedded/munts_rp2040_lib_embedded-2.24820.1.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.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.1.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "14.0.2", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" } ], "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": "embedded 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 `embedded_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n embedded_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": "embedded_rp2040", "origin": { "hashes": [ "sha256:770cdc0f5f66d02780badaca625a06ecc01ee884054cd795ef38e474e79b9c38", "sha512:c307eecdfb1def8c9ed6971c146f0ffc3605d452407775cfbab10988118f8688921e7bd94cd65b656ccddb060d1025d5c434bcc184722136d925ad4ae3d3f9a1" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v14.0.2/embedded-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/em/embedded_rp2040/embedded_rp2040-14.0.2.toml", "version": "14.0.2" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24840.1.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24840.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24820.1.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15", "requires": "embedded_rp2040", "selected": false, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_lib_embedded", "path": "index/mu/munts_rp2040_lib_embedded/munts_rp2040_lib_embedded-2.24820.1.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.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.1.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "14.0.1", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" } ], "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": "embedded 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 `embedded_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n embedded_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": "embedded_rp2040", "origin": { "hashes": [ "sha256:3c00e0b075d42cc8244ea2b9b9adac54cfecd157deeb25a7c62baa08c0fd0c1a", "sha512:b3b5416313ad652b8d1f02dbb3f6c02de8fe34cd6685a6fe1fbc3467b0eb770a10bfcaab79656657557f78118bc1e7e30f9b2b8127402ae4c633f7ba8f7bb5de" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v14.0.1/embedded-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/em/embedded_rp2040/embedded_rp2040-14.0.1.toml", "version": "14.0.1" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24840.1.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24840.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_firmware_embedded", "path": "index/mu/munts_rp2040_firmware_embedded/munts_rp2040_firmware_embedded-2.24820.1.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15", "requires": "embedded_rp2040", "selected": false, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "munts_rp2040_lib_embedded", "path": "index/mu/munts_rp2040_lib_embedded/munts_rp2040_lib_embedded-2.24820.1.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15", "requires": "embedded_rp2040", "selected": true, "version": "2.24820.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.8.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c01_blink_e", "path": "index/pi/pico_ada_c01_blink_e/pico_ada_c01_blink_e-1.7.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.8.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.7.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.6.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.2.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.5.2" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.1.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c05_rgb", "path": "index/pi/pico_ada_c05_rgb/pico_ada_c05_rgb-1.5.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.2", "requires": "embedded_rp2040", "selected": false, "version": "1.5.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c06_neopixel", "path": "index/pi/pico_ada_c06_neopixel/pico_ada_c06_neopixel-1.6.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.3", "requires": "embedded_rp2040", "selected": false, "version": "1.6.0" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c07_buzzer", "path": "index/pi/pico_ada_c07_buzzer/pico_ada_c07_buzzer-1.8.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.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.1.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": false, "version": "1.7.1" }, { "catalog": "community", "condition": null, "development": false, "name": "pico_ada_c08_serial_communication", "path": "index/pi/pico_ada_c08_serial_communication/pico_ada_c08_serial_communication-1.8.0.toml", "provided_version": "14.0.0", "qualifies": false, "requirement": "^15.4", "requires": "embedded_rp2040", "selected": true, "version": "1.8.0" } ], "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": "embedded 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 `embedded_rp2040` in the dependency list:\n ```toml\n [[depends-on]]\n embedded_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": "embedded_rp2040", "origin": { "hashes": [ "sha256:47ece2a09c0ba5b52a1ba74645f2379cf0b2f049f322a97da755e30f3a867767", "sha512:586c87ff4dff71e3e70b3988e3a2eec1ebb8f59689bf09ef98506a38f5c5f35b3f11fb9e39be01ffcdd0cfabce9409884c2e5a6b3cee5fed9a4b1aba50561227" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v14.0.0/embedded-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/em/embedded_rp2040/embedded_rp2040-14.0.0.toml", "version": "14.0.0" } ] }, "schema_version": 4 }