{
  "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 RP2350 SoC",
    "development_only": false,
    "latest_version": "15.4.0",
    "name": "embedded_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": "embedded 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 `embedded_rp2350` in the dependency list:\n   ```toml\n   [[depends-on]]\n   embedded_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 <damaki.gh@gmail.com>"
          ],
          "maintainers-logins": [
            "damaki"
          ],
          "name": "embedded_rp2350",
          "origin": {
            "hashes": [
              "sha256:68793f131710b9ed067da02d704dd8e8fda0c3c1a8da3b9d9fef0015be8f5fc5",
              "sha512:6efd40eac8e71868712e20564328c280d5a3f6ee49143c8661026bb801f00f8c93a5c515bab7356639bb02d7931c8fb66e7190aa4efa8e17072b24f72620667d"
            ],
            "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.4.0/embedded-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/em/embedded_rp2350/embedded_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": "embedded 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 `embedded_rp2350` in the dependency list:\n   ```toml\n   [[depends-on]]\n   embedded_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 <damaki.gh@gmail.com>"
          ],
          "maintainers-logins": [
            "damaki"
          ],
          "name": "embedded_rp2350",
          "origin": {
            "hashes": [
              "sha256:d190b6f7d72682900f2984ecef7d25a45035a1fd92c04cd6bb6ddd84404e2165",
              "sha512:cf9ccedbeb31aebd5e3862057b7fd44d23e451eb681f563fa276e96207a61602c28ce874a130be0c53cbddc43217aa306f0ba28aad77eb0c72c1f56f6e19dd16"
            ],
            "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.3.0/embedded-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/em/embedded_rp2350/embedded_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": "embedded 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 `embedded_rp2350` in the dependency list:\n   ```toml\n   [[depends-on]]\n   embedded_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 <damaki.gh@gmail.com>"
          ],
          "maintainers-logins": [
            "damaki"
          ],
          "name": "embedded_rp2350",
          "origin": {
            "hashes": [
              "sha256:304aa2514c6597ee03424322fd151d0521d667212b6fa6a6f4d0f938828bee88",
              "sha512:bbc0279b48e3489c5497c6ab2c7ae7bca50624845f689a5d165159042d1f3d4a250aa349dbed67247f6e3c19afce9cebc228d353bb39da71e3f898d81d9b4a2c"
            ],
            "url": "https://github.com/damaki/community-bb-runtimes/releases/download/v15.2.0/embedded-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/em/embedded_rp2350/embedded_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": "embedded 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 `embedded_rp2350` in the dependency list:\n   ```toml\n   [[depends-on]]\n   embedded_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 <damaki.gh@gmail.com>"
          ],
          "maintainers-logins": [
            "damaki"
          ],
          "name": "embedded_rp2350",
          "origin": {
            "hashes": [
              "sha256:6f315120a34f5c799cd3e55dd3e8327635d43d5dff06701b5bbe53fb243da2d6",
              "sha512:504289dcf4c9aeb8d8cdab1c3fab25645dfc4ddae3c18bfe1206dafaead6bd205d7bfcb6585af11823379c2103b767263960fdf461da09381a023ca475210950"
            ],
            "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.1.2/embedded-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/em/embedded_rp2350/embedded_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": "embedded 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 `embedded_rp2350` in the dependency list:\n   ```toml\n   [[depends-on]]\n   embedded_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 <damaki.gh@gmail.com>"
          ],
          "maintainers-logins": [
            "damaki"
          ],
          "name": "embedded_rp2350",
          "origin": {
            "hashes": [
              "sha256:d626ed387c624e3e6d61c45aea912e56c1405614b378b400bdd85f672e6536ba",
              "sha512:fb4da9f41f86fe429da907af513f95ff7506aa19d132529ddc036b687e2090b8489bc334d73cc8a5cc924fda5e59d25921677ba61c4b9faf62a230d30d698693"
            ],
            "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.1.1/embedded-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/em/embedded_rp2350/embedded_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": "embedded 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 `embedded_rp2350` in the dependency list:\n   ```toml\n   [[depends-on]]\n   embedded_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 <damaki.gh@gmail.com>"
          ],
          "maintainers-logins": [
            "damaki"
          ],
          "name": "embedded_rp2350",
          "origin": {
            "hashes": [
              "sha256:ce2a499a3f876579d9cda96d10b949e38d519dcdfd68519113e0a11c22c840e1",
              "sha512:0de5c283a5ed14c3067b44423a7f9b0ad51eda9a7edda80cadf4fa6f8e1e0e8cc119351da0e8dc412aaab7c33deac59e0f161bb85cbba202f6a8d8028a54d3f2"
            ],
            "url": "https://github.com/damaki/rp-runtimes/releases/download/v15.1.0/embedded-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/em/embedded_rp2350/embedded_rp2350-15.1.0.toml",
        "version": "15.1.0"
      }
    ]
  },
  "schema_version": 4
}
