{
  "authors": [
    "Martin Krischik <krischik@users.sourceforge.net>"
  ],
  "build-switches": {
    "*": {
      "ada_version": [
        "-gnat2022"
      ]
    },
    "development": {
      "compile_checks": "Warnings",
      "contracts": "Yes",
      "runtime_checks": "Overflow"
    },
    "release": {
      "compile_checks": "Warnings",
      "contracts": "No",
      "runtime_checks": "Default"
    },
    "validation": {
      "compile_checks": "Warnings",
      "contracts": "Yes",
      "runtime_checks": "Everything"
    }
  },
  "configuration": {
    "variables": {
      "Variant": {
        "default": "no_tasking",
        "type": "Enum",
        "values": [
          "tasking",
          "no_tasking"
        ]
      }
    }
  },
  "depends-on": [
    {
      "pico_bsp": "^2.2"
    }
  ],
  "description": "Extended board support package for Raspberry Pi Pico",
  "licenses": "GPL-3.0-or-later",
  "long-description": "Extended board support package (XBSP) for the Raspberry Pi Pico.\n\nThis crate builds upon Jeremy Grosser's official pico_bsp and adds a growing set of clean, reusable components for Ada\ndevelopers targeting the RP2040. It is developed alongside the [Pi Ada\nTutorial](https://pi-ada-tutorial.sourceforge.io/) but is equally suitable for any standalone embedded Ada project.\n\nCurrent components:\n* Pico.Analog         - Analogue GPIO using PWM\n* Pico.Analog.RGB_LED - Analogue RGB LED control using PWM\n* Pico.Tone           - Square-wave tone generation using PWM\n* Pico.UART_IO        - Simple UART text I/O for the Debug Probe (115200 8N1 on GP0/GP1)\n* Pico.Utils          - Miscellaneous utilities\n\nThe crate is available in two variants:\n* `no_tasking` (default) - small, fast, and compatible with the light runtime\n* `tasking`              - thread-safe using protected objects (requires a tasking runtime)\n\nAll packages include full GNATdoc annotations.\n\nUseful links:\n* [GNATdoc documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/)\n* [SourceForge repository](https://sourceforge.net/projects/pi-ada-tutorial/)\n* [Tutorial homepage](https://pi-ada-tutorial.sourceforge.io/)\n\nThe library will continue to grow with each new tutorial chapter while remaining a clean, independent crate.\n",
  "maintainers": [
    "Martin Krischik <krischik@users.sourceforge.net>"
  ],
  "maintainers-logins": [
    "krischik"
  ],
  "name": "pico_xbsp",
  "origin": {
    "hashes": [
      "sha256:62a05074f4e5bf588948458a81dac679d5fafb1b7b2686fa3c343dd9bbb7393a",
      "sha512:59d30558ea15aded27b855c3edb1d2d268f59769e3c8b1365400e3e0fc3234cca05d4687ff831aa2b9a89723e788b1091f9e4b41d970555a1db68b9722334f6d"
    ],
    "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.6.1.tgz"
  },
  "tags": [
    "raspberry",
    "pi",
    "pico",
    "rp2040",
    "tasking",
    "light-tasking",
    "ada2022",
    "embedded"
  ],
  "version": "1.6.1",
  "website": "https://pi-ada-tutorial.sourceforge.io/"
}