{
  "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 <damaki.gh@gmail.com>"
  ],
  "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"
}