{
  "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": {
      "Event_Log_Output": {
        "default": "none",
        "type": "Enum",
        "values": [
          "none",
          "swd",
          "usb",
          "uart"
        ]
      },
      "USB_RX_Buffer_Size": {
        "default": 128,
        "first": 64,
        "last": 1024,
        "type": "Integer"
      },
      "USB_TX_Buffer_Size": {
        "default": 128,
        "first": 64,
        "last": 1024,
        "type": "Integer"
      },
      "Variant": {
        "default": "no_tasking",
        "type": "Enum",
        "values": [
          "tasking",
          "no_tasking"
        ]
      }
    }
  },
  "depends-on": [
    {
      "adacl_embedded": "^7.1.2",
      "pico_bsp": "^2.2",
      "usb_embedded": "^1.0.0"
    }
  ],
  "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\t      - Analogue GPIO using PWM\n* Pico.Analog.RGB_LED - Analogue RGB LED control using PWM\n* Pico.Debug_IO       - Multi output interface for debug output\n* Pico.Tone\t      - Square-wave tone generation using PWM\n* Pico.UART_IO\t      - Simple UART text I/O for the Debug Probe (115200 8N1 on GP0/GP1)\n* Pico.USB_IO\t      - Simple USB text I/O for direct connection to a PC terminal\n* Pico.Utils\t      - Miscellaneous utilities\n\nThe crate is available in two variants:\n* `no_tasking` (default) - small, fast, and compatible with the light runtime\n* `tasking`\t\t - thread-safe using protected objects (requires a tasking runtime)\n\n* Event_Log_Output\n  * \"none\"\t- deactivate output entirely.\n  * \"swd\"\t- use Ada.Text_IO which uses semihosting to output to GDB. Don't forget to activate with\n\t\t  `arm semihosting enable`.\n  * \"usb\"\t- use `Pico.USB_IO` which in turn uses `USB.Device.Serial` for output. You will need a serial terminal\n\t\t  to read the output.\n  * \"uart\"\t- use `Pico.UART_IO` which in turn uses `RP.UART` for output. You will need a Debug Probe or a RS232C to\n\t\t  USB interface as well as a serial terminal to read the output.\n\n* USB_TX_Buffer_Size & USB_RX_Buffer_Size\n  Read and write buffers can be configured separately for greater flexibility.\n  The default value of 128 bytes equals two USB block sizes and enables reliable bulk transfers.\n  The minimum supported size is 64 bytes (one USB block). Larger multi-block transfers may fail if the buffer\n  is set too small.\n\nAll packages include full GNATdoc annotations.\n\nUseful links:\n* [GNATdoc documentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_doc)\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:bde7b8601f37d7002f7929fd003682941aa42c582e8cf268ba9139500d440c19",
      "sha512:5807b90337e323729bc985ace234dfe51d2af190631c9829e0d7d3255c395d4dc7150b466caf9e8b845d098dd03bea2c3b90c9cea4dfe020da670ee84cc14c2c"
    ],
    "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.8.0.tgz"
  },
  "tags": [
    "raspberry",
    "pi",
    "pico",
    "rp2040",
    "tasking",
    "light-tasking",
    "ada2022",
    "embedded"
  ],
  "version": "1.8.0",
  "website": "https://pi-ada-tutorial.sourceforge.io/"
}