Raspberry Pi

The rp2 port covers RP2040 and RP2350. Flash is UF2: hold BOOTSEL, plug in, copy the file. REPL is USB CDC. Official docs: rp2 quickref.

Boards

Chips

ChipCoresSRAMNotes
RP20402 × Cortex-M0+264 KBPico, Pico W, many third-party boards
RP23502 × M33 and/or 2 × Hazard3 RISC-V520 KBPico 2, Pico 2 W. Pick Arm or RISC-V firmware.

What the port gives you

machine is complete for Pin, PWM, ADC, I2C, SPI, UART, Timer, RTC, WDT, I2S. PIO is exposed as rp2.asm_pio. Pico W adds network.WLAN and Bluetooth via the CYW43439. The onboard LED is Pin("LED") — GPIO 25 on Pico, via the radio chip on Pico W.

Playgrounds