From e7ec8a7fc75bffe05ce96ae2c1c3f0346e9cac92 Mon Sep 17 00:00:00 2001
From: Ian McIntyre <me@mciantyre.dev>
Date: Sat, 5 Sep 2026 15:16:09 -0400
Subject: Update README with RP Pico instructons

---
 README.md | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/README.md b/README.md
index bdfadc1..0760e13 100644
--- a/README.md
+++ b/README.md
@@ -6,6 +6,7 @@ They work in / on
 - QEMU
 - a Teensy 4.0
 - an iMXRT1170EVK
+- a Raspberry Pi Pico 1, with a RP2040 MCU.
 
 Right now, most apps blink LEDs and / or print `"hello world!"`.
 The iMXRT1170EVK can demonstrate a basic UDP loopback, and you can `ping` this board.
@@ -75,3 +76,18 @@ Connect to the UDP loopback port `5678` and talk with yourself:
 ```
 printf 'hello world' | nc -u -w1 192.168.5.1 5678
 ```
+
+### Raspberry Pi Pico 1
+
+[Install elf2uf2-rs](https://crates.io/crates/elf2uf2-rs).
+Connect your board to your host, and enter the bootloader.
+
+Run the following to build the example and attempt uploading:
+
+```
+cargo +stage1 --config .cargo/rp-pico-2040.toml run --release --package=rust-threadx-rp-pico-2040
+```
+
+Once running, you should see the LED blinking.
+The `run` command should automatically connect to the USB serial interface to render stdout messages.
+stdin is not yet implemented.
-- 
cgit v1.2.3