There might be another way or other place where the documentation does not match the code. But this is the most obvious, that's why I found it.
RP2040 ================== This port supports many development boards that utilize RP2040 chips. See https://circuitpython.org/downloads for all supported boards. Building -------- For build instructions see this guide: https://learn.adafruit.com/building-circuitpython/ Port Specific modules --------------------- .. toctree:: ../../shared-bindings/rp2pio/index