{
  "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"
    }
  },
  "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 extends the official pico_bsp from Jeremy Grosser with additional, reusable components. It is designed for\ngeneral use in any Ada project targeting the RP2040-based Raspberry Pi Pico and is not limited to the Pi Ada Tutorial.\n\nIt is developed in parallel with the [Pi Ada Tutorial](https://pi-ada-tutorial.sourceforge.io/) and therefore also\nsupplies the exact support packages used in the tutorial chapters. This dual role makes pico_xbsp equally suitable for:\n\n* Standalone embedded Ada projects that only need the extra functionality, and * Readers following the tutorial who want\nready-made, well-documented building blocks.\n\nCurrent content:\n\n1. Pico.Analog\t\t- Analogue GPIO using Pulse Width Modulation (PWM).\n1. Pico.Analog.RGB_LED\t- Analogue RGB LED control using Pulse Width Modulation (PWM).\n2. Pico.UART_IO\t\t- UART Text Output (Input comes later).\n\nAll packages are supplied with complete GNATDOC annotations.\n\n* [GNATdoc documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/)\n* [SourceForge repository](https://sourceforge.net/projects/pi-ada-tutorial/)\n\nThe crate will grow with each new tutorial chapter while remaining a clean, independent library.\n",
  "maintainers": [
    "Martin Krischik <krischik@users.sourceforge.net>"
  ],
  "maintainers-logins": [
    "krischik"
  ],
  "name": "pico_xbsp",
  "origin": {
    "hashes": [
      "sha256:907ff0a34e782049d67483c34d7c5da628921a562f83219eddd33ef3d37b40c1",
      "sha512:b40adbd2c0653a644cd5f1465b30ded07702cf78720d215978cda23d0c373bdd7b751d9c1e0c3732a639f7254b3b7fe0d289cc22211bda1285b5fd9050b4761d"
    ],
    "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.6.0.tgz"
  },
  "tags": [
    "raspberry",
    "pi",
    "pico",
    "rp2040",
    "tasking",
    "light-tasking",
    "ada2022",
    "embedded"
  ],
  "version": "1.6.0",
  "website": "https://pi-ada-tutorial.sourceforge.io/"
}