{ "canonical_url": "https://crates.flyology.org/community/", "catalog": { "name": "community", "repository_url": "https://github.com/alire-project/alire-index", "revision": "cd12c6aa35b7d6483841517305d57ba167ec78d0" }, "generated_at": "2026-08-23T04:55:42Z", "index": { "version": "1.4.0" }, "package": { "catalog": "community", "description": "light-tasking runtime for the RP2350 SoC", "development_only": false, "latest_version": "15.4.0", "name": "light_tasking_rp2350", "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_pico2", "type": "Enum", "values": [ "generic_board", "rpi_pico2", "pimoroni_pico_lipo_2_xl_w", "pimoroni_pico_plus_2", "pimoroni_plasma_2350", "pimoroni_tiny_2350", "pimoroni_rp2350_stamp_xl", "pimoroni_rp2350_stamp", "pimoroni_pga2350", "adafruit_feather_rp2350", "adafruit_metro_rp2350", "adafruit_fruit_jam" ] }, "Flash_Size": { "default": 2, "first": 2, "last": 16, "type": "Integer" }, "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": 5, "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" }, "Security_Level": { "default": "Secure", "type": "Enum", "values": [ "Secure", "Non_Secure" ] }, "Time_Base_Alarm": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "Time_Base_Timer": { "default": "TIMER0", "type": "Enum", "values": [ "TIMER0", "TIMER1" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^15" } ], "description": "light-tasking runtime for the RP2350 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2350` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2350 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project files. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n with \"ravenscar_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2350", "origin": { "hashes": [ "sha256:05ae855da46bd0417de88b0ecddf8d07337b3817d6cc688cd190d095013833fe", "sha512:dcac1328bd02bf7fb1f2fc1aaf34899264a7ad17cb3dcb4a163a0600c7b93977f8d7c83ca8c7bcecdf156d16cb3c2348c087b0bedfa00f2f5b4565e19bbc4fa7" ], "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/light-tasking-rp2350-15.4.0.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.4.0", "website": "https://github.com/damaki/community-bb-runtimes" }, "path": "index/li/light_tasking_rp2350/light_tasking_rp2350-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_pico2", "type": "Enum", "values": [ "generic_board", "rpi_pico2", "pimoroni_pico_lipo_2_xl_w", "pimoroni_pico_plus_2", "pimoroni_plasma_2350", "pimoroni_tiny_2350", "pimoroni_rp2350_stamp_xl", "pimoroni_rp2350_stamp", "pimoroni_pga2350", "adafruit_feather_rp2350", "adafruit_metro_rp2350", "adafruit_fruit_jam" ] }, "Flash_Size": { "default": 2, "first": 2, "last": 16, "type": "Integer" }, "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": 5, "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" }, "Security_Level": { "default": "Secure", "type": "Enum", "values": [ "Secure", "Non_Secure" ] }, "Time_Base_Alarm": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "Time_Base_Timer": { "default": "TIMER0", "type": "Enum", "values": [ "TIMER0", "TIMER1" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^15" } ], "description": "light-tasking runtime for the RP2350 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2350` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2350 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project files. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n with \"ravenscar_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2350", "origin": { "hashes": [ "sha256:00bc28d52b3b01d74e4ac1069d8f632d27c035a909317f0cd5bffc659f3a4fd5", "sha512:cd36ad0bb130102bc251b0dee8e0da3bc5b8001c3d3cfb71381e17f0eecb6aa9d595e99659411d09a3e4788f7d56a0a1a58058117fbe2e734a2d0fbf8f6a40a2" ], "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/light-tasking-rp2350-15.3.0.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.3.0", "website": "https://github.com/damaki/community-bb-runtimes" }, "path": "index/li/light_tasking_rp2350/light_tasking_rp2350-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_pico2", "type": "Enum", "values": [ "generic_board", "rpi_pico2", "pimoroni_pico_lipo_2_xl_w", "pimoroni_pico_plus_2", "pimoroni_plasma_2350", "pimoroni_tiny_2350", "pimoroni_rp2350_stamp_xl", "pimoroni_rp2350_stamp", "pimoroni_pga2350", "adafruit_feather_rp2350", "adafruit_metro_rp2350", "adafruit_fruit_jam" ] }, "Flash_Size": { "default": 2, "first": 2, "last": 16, "type": "Integer" }, "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": 5, "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" }, "Security_Level": { "default": "Secure", "type": "Enum", "values": [ "Secure", "Non_Secure" ] }, "Time_Base_Alarm": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "Time_Base_Timer": { "default": "TIMER0", "type": "Enum", "values": [ "TIMER0", "TIMER1" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^15" } ], "description": "light-tasking runtime for the RP2350 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2350` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2350 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project files. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n with \"ravenscar_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2350", "origin": { "hashes": [ "sha256:ae6ecf4ffd68f5b7b99ab9f7d8fdfea573d85326a3c2a815419e6888c0696c97", "sha512:9206960226d58af7b7fb600048ef966f1a6a8e13445df4c2c751cf5fef479622993ec6ded7038efebc45992ebb5bfa564b91d62046b3231b38859cadb7ea713a" ], "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.2.0/light-tasking-rp2350-15.2.0.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.2.0", "website": "https://github.com/damaki/community-bb-runtimes" }, "path": "index/li/light_tasking_rp2350/light_tasking_rp2350-15.2.0.toml", "version": "15.2.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_pico2", "type": "Enum", "values": [ "generic_board", "rpi_pico2", "pimoroni_pico_lipo_2_xl_w", "pimoroni_pico_plus_2", "pimoroni_plasma_2350", "pimoroni_tiny_2350", "pimoroni_rp2350_stamp_xl", "pimoroni_rp2350_stamp", "pimoroni_pga2350", "adafruit_feather_rp2350", "adafruit_metro_rp2350", "adafruit_fruit_jam" ] }, "Flash_Size": { "default": 2, "first": 2, "last": 16, "type": "Integer" }, "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": 5, "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" }, "Security_Level": { "default": "Secure", "type": "Enum", "values": [ "Secure", "Non_Secure" ] }, "Time_Base_Alarm": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "Time_Base_Timer": { "default": "TIMER0", "type": "Enum", "values": [ "TIMER0", "TIMER1" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^15" } ], "description": "light-tasking runtime for the RP2350 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2350` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2350 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project files. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n with \"ravenscar_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2350", "origin": { "hashes": [ "sha256:95dce809e5400ea1f868415db336a76ba14bdc7b820e8c87e112fe4b71c2003e", "sha512:b5198319682110e1775ceed5172373eb497acbdc2c7a0583cb10b15be9f6ef7ccd987a453f1a70adab00ddb0e84c6d8b293480ee0a36c2249142e92be859a6f1" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.1.2/light-tasking-rp2350-15.1.2.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.1.2", "website": "https://github.com/damaki/rp-runtimes" }, "path": "index/li/light_tasking_rp2350/light_tasking_rp2350-15.1.2.toml", "version": "15.1.2" }, { "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_pico2", "type": "Enum", "values": [ "generic_board", "rpi_pico2", "pimoroni_pico_lipo_2_xl_w", "pimoroni_pico_plus_2", "pimoroni_plasma_2350", "pimoroni_tiny_2350", "pimoroni_rp2350_stamp_xl", "pimoroni_rp2350_stamp", "pimoroni_pga2350", "adafruit_feather_rp2350", "adafruit_metro_rp2350", "adafruit_fruit_jam" ] }, "Flash_Size": { "default": 2, "first": 2, "last": 16, "type": "Integer" }, "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": 5, "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" }, "Security_Level": { "default": "Secure", "type": "Enum", "values": [ "Secure", "Non_Secure" ] }, "Time_Base_Alarm": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "Time_Base_Timer": { "default": "TIMER0", "type": "Enum", "values": [ "TIMER0", "TIMER1" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^15" } ], "description": "light-tasking runtime for the RP2350 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2350` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2350 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project files. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n with \"ravenscar_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2350", "origin": { "hashes": [ "sha256:4e049470e4a326015b3b99721ca81cf25b7eadfd17efd13224a73c874b99d2f3", "sha512:9297b9cc235a34c67c1efbc52d24795476635a9ec8d6574f2d9fa8ddbcf30e83c2cc2e3dd718e546497315a2aa2dbc65f5784ab31fe70a1f45ae824d66710343" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.1.1/light-tasking-rp2350-15.1.1.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.1.1", "website": "https://github.com/damaki/rp-runtimes" }, "path": "index/li/light_tasking_rp2350/light_tasking_rp2350-15.1.1.toml", "version": "15.1.1" }, { "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_pico2", "type": "Enum", "values": [ "generic_board", "rpi_pico2", "pimoroni_pico_lipo_2_xl_w", "pimoroni_pico_plus_2", "pimoroni_plasma_2350", "pimoroni_tiny_2350", "pimoroni_rp2350_stamp_xl", "pimoroni_rp2350_stamp", "pimoroni_pga2350", "adafruit_feather_rp2350", "adafruit_metro_rp2350", "adafruit_fruit_jam" ] }, "Flash_Size": { "default": 2, "first": 2, "last": 16, "type": "Integer" }, "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": 5, "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" }, "Security_Level": { "default": "Secure", "type": "Enum", "values": [ "Secure", "Non_Secure" ] }, "Time_Base_Alarm": { "default": "ALARM3", "type": "Enum", "values": [ "ALARM0", "ALARM1", "ALARM2", "ALARM3" ] }, "Time_Base_Timer": { "default": "TIMER0", "type": "Enum", "values": [ "TIMER0", "TIMER1" ] }, "XOSC_Frequency": { "default": 12000000, "first": 0, "type": "Integer" }, "XOSC_Startup_Delay_Mult": { "default": 64, "first": 1, "last": 16383, "type": "Integer" } } }, "depends-on": [ { "gnat_arm_elf": "^15" } ], "description": "light-tasking runtime for the RP2350 SoC", "licenses": "GPL-3.0-or-later WITH GCC-exception-3.1", "long-description": "## Usage\n\nFirst edit your `alire.toml` file and add the following elements:\n - Add `light_tasking_rp2350` in the dependency list:\n ```toml\n [[depends-on]]\n light_tasking_rp2350 = \"*\"\n ```\n\nThen edit your project file to add the following elements:\n - \"with\" the run-time project file. With this, gprbuild will compile the run-time before your application\n ```ada\n with \"runtime_build.gpr\";\n ```\n - Specify the `Target` and `Runtime` attributes:\n ```ada\n for Target use runtime_build'Target;\n for Runtime (\"Ada\") use runtime_build'Runtime (\"Ada\");\n ```\n - specify the `Linker` switches:\n ```ada\n package Linker is\n for Switches (\"Ada\") use Runtime_Build.Linker_Switches & (\"-Wl,--gc-sections\");\n end Linker;\n ```\n Note that `--gc-switches` is recommended as it reduces flash and RAM usage\n by removing unused code and data, but it is not mandatory.\n\nSee the project website for details on configuring the runtime.\n", "maintainers": [ "Daniel King " ], "maintainers-logins": [ "damaki" ], "name": "light_tasking_rp2350", "origin": { "hashes": [ "sha256:9657ca1ba603dbe7cad6b2e612d59f2798591f71aa6093d6818dbc329f71d813", "sha512:e833325065dcda6038d92fbcc60d4ef7b6a4dc91f2d61b8ade242db65b999d41a5f7aa7d6043ecd44dc4ef788956d64ba5149c385e7ceff819391937683d983f" ], "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.1.0/light-tasking-rp2350-15.1.0.tar.gz" }, "project-files": [ "runtime_build.gpr", "ravenscar_build.gpr" ], "tags": [ "embedded", "runtime" ], "version": "15.1.0", "website": "https://github.com/damaki/rp-runtimes" }, "path": "index/li/light_tasking_rp2350/light_tasking_rp2350-15.1.0.toml", "version": "15.1.0" } ] }, "schema_version": 4 }