---
tags:
  - iints/source
  - iints/source/technical_manual
source_id: "raspberry_pi_pico_docs"
source_bucket: "docs_only_hardware_safety"
category: "technical_manual"
component: "pico_pump_lab_firmware"
url: "https://www.raspberrypi.com/documentation/microcontrollers/raspberry-pi-pico.html"
doi: ""
status: active
---

# Raspberry Pi Pico-series microcontrollers documentation

> [!info] What this source supports
> Hardware documentation context for Pico firmware packaging and serial upload flow.

| Field | Value |
| --- | --- |
| Source ID | `raspberry_pi_pico_docs` |
| Bucket | `docs_only_hardware_safety` |
| Category | `technical_manual` |
| SDK component | `pico_pump_lab_firmware` |
| DOI | n/a |
| URL | https://www.raspberrypi.com/documentation/microcontrollers/raspberry-pi-pico.html |
| Origin file | `docs/PICO_PUMP_LAB.md` |

## Citation

Raspberry Pi. Pico-series microcontrollers documentation.

## User Interpretation

Use this source to explain **why the SDK default, metric, dataset, or hardware-safety boundary exists**. It is evidence support for pre-clinical simulation and documentation, not a medical approval claim.
