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