{
  "canonical_url": "https://crates.flyology.org/community/",
  "catalog": {
    "name": "community",
    "repository_url": "https://github.com/alire-project/alire-index",
    "revision": "115fc87e8336c66e54c19906bc3f10303cd88107"
  },
  "generated_at": "2026-10-06T11:22:10Z",
  "index": {
    "version": "1.4.0"
  },
  "package": {
    "catalog": "community",
    "description": "Chapter 9: read the Pico ADC as counts, microvolts and fixed-point volts",
    "development_only": false,
    "latest_version": "1.9.0",
    "name": "pico_ada_c09_ad_converter",
    "selected_version": "1.9.0",
    "versions": [
      {
        "dependants": [],
        "dependencies": [
          {
            "catalog": "community",
            "condition": null,
            "name": "embedded_rp2040",
            "package": "embedded_rp2040",
            "provided_version": "15.4.0",
            "requirement": "^15.4",
            "resolved": true,
            "version": "15.4.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_bsp",
            "package": "pico_bsp",
            "provided_version": "2.2.0",
            "requirement": "^2.2",
            "resolved": true,
            "version": "2.2.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "pico_xbsp",
            "package": "pico_xbsp",
            "provided_version": "1.9.0",
            "requirement": "^1.9",
            "resolved": true,
            "version": "1.9.0"
          },
          {
            "catalog": "community",
            "condition": null,
            "name": "rp2040_hal",
            "package": "rp2040_hal",
            "provided_version": "2.7.1",
            "requirement": "^2.7.1",
            "resolved": true,
            "version": "2.7.1"
          }
        ],
        "development": false,
        "external": false,
        "manifest": {
          "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": {
            "values": {
              "adacl_embedded": {
                "Event_Log_Buffer_Size": 0,
                "Variant": "no_tasking"
              },
              "embedded_rp2040": {
                "Board": "rpi_pico",
                "Max_CPUs": 2
              },
              "pico_xbsp": {
                "Event_Log_Output": "uart",
                "Variant": "tasking"
              },
              "rp2040_hal": {
                "Interrupts": "bb_runtimes",
                "Use_Startup": false
              }
            }
          },
          "depends-on": [
            {
              "embedded_rp2040": "^15.4",
              "pico_bsp": "^2.2",
              "pico_xbsp": "^1.9",
              "rp2040_hal": "^2.7.1"
            }
          ],
          "description": "Chapter 9: read the Pico ADC as counts, microvolts and fixed-point volts",
          "executables": [
            "sketch_09_1_adc"
          ],
          "licenses": "GPL-3.0-or-later",
          "long-description": "Chapter 9 - AD Converter\n\nAda rewrite of the Freenove \"AD Converter\" lesson for the Raspberry Pi Pico.\n\nThe sketch on GP26 (ADC0) prints three representations of the same\npotentiometer on one UART line:\n\n* `RP.ADC.Analog_Value` - the 12-bit code (`0 .. 4095`)\n* `RP.ADC.Microvolts` - that code scaled by the HAL with a `Float`\n* `Pico.Analog.Input.Volts` - a 32-bit ordinary fixed-point subtype\n  (`delta 0.1 mV`, `'Small => 2**(-16)`), converted from the count\n  by multiply-first / divide-second\n\nThe chapter is the notes I needed before that line made sense:\n\n* **AGND** and **ADC_VREF** are a filtered analogue pair, not a second\n  isolated supply. ADC3 (VSYS/3) and ADC4 (the on-chip temperature\n  sensor) are not available as general inputs.\n* The RP2040 ADC has dead zones at both rails. On my board the floor\n  sits around 19 counts (~15 mV) and the ceiling around 4081. Software\n  clamps those to `Volts'First` and `Volts'Last`.\n* `Free_Running` plus a 2 Hz `Put_Line` leaves stale samples in the\n  FIFO. The sketch uses `One_Shot`.\n* The three columns are three conversions, not three formats of one\n  sample. They may differ by a count or two.\n* `Sketch_09_1_ADC` is `No_Return` under the Jorvik profile. The\n  handler logs on `Ada.Text_IO` and re-raises; the embedded runtime\n  then halts. Fine for a sample you reset with BOOTSEL. SPARK would\n  want an outer loop instead.\n\nBuilt against `rp2040_hal` / the Pico BSP. Watch the UART with\nCoolTerm (or any 115200 8N1 terminal).\n\nRead the full tutorial at [Chapter 9 - AD Converter: three ways to read a\nvoltage](https://pi-ada-tutorial.sourceforge.io/pico_ada_c09_ad_converter), [GNATdoc\ndocumentation](https://pi-ada-tutorial.sourceforge.io/gnatdoc/pico_doc/), [SourceForge\nrepository](https://sourceforge.net/p/pi-ada-tutorial/code/ci/master/tree/pico_ada_c09_ad_converter/)\n",
          "maintainers": [
            "Martin Krischik <krischik@users.sourceforge.net>"
          ],
          "maintainers-logins": [
            "krischik"
          ],
          "name": "pico_ada_c09_ad_converter",
          "origin": {
            "hashes": [
              "sha256:602015ac330ab9af86cf450d69dab83e9f9b337dffeb09d4e54323b5f81177f0",
              "sha512:2fd2e1d6cc57067e942be039c97d41217ea200a0e3f247ee3c45c3f17bd9e94cb0c1cf46602866f859215ab3e0dc49fec582ff2f8c2515bd30685acf3d8f217f"
            ],
            "url": "https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_ada_c09_ad_converter-1.9.0.tgz"
          },
          "tags": [
            "raspberry",
            "pi",
            "pico",
            "rp2040",
            "tasking",
            "light-tasking",
            "ada2022",
            "embedded"
          ],
          "version": "1.9.0",
          "website": "https://pi-ada-tutorial.sourceforge.io/pico_ada_c09_ad_converter"
        },
        "path": "index/pi/pico_ada_c09_ad_converter/pico_ada_c09_ad_converter-1.9.0.toml",
        "version": "1.9.0"
      }
    ]
  },
  "schema_version": 4
}