whisper_pedal

Building:

You'll need an environment like:

# Setup SDK
export PICO_SDK_PATH="$(pwd)/pico-sdk"
export PICO_PLATFORM="rp2350"
export PICO_BOARD="pico2_w"

export RP_OPENOCD_PATH="$(pwd)/rp_openocd"
export RP_OPENOCD_TCL="$(pwd)/rp_openocd/tcl"
export RP_OPENOCD_BIN="$(pwd)/rp_openocd/src/openocd"

export WP_ROOT="$(pwd)"
export SCRIPTS="${WP_ROOT}/scripts"

export WIFI_SSID="" 		# Redacted
export WIFI_PASSWORD=""		# Redacted
export OPENAI_KEY=""		# Redacted

Then just:

$ scripts/build

Debugging

$SCRIPTS/debug0__build_then_flash_then_serve.sh #this hosts openocd for gdb
$SCRIPTS/debug1_session #this runs gdb

Then, in the GDB session:

(gdb) target extended-remote localhost:3333
(gdb) monitor reset init
(gdb) continue

and even, if the .elf file has been rebuilt in the background (use $SCRIPTS/build_dbg), you can just do a load in gdb to flash the chip.

Flashing a regular Pico (without SWD):

Just ./scripts/build to make a .uf2.

Usage

Flash a device, run ws_bridge_helper_server/udp_ws_bridge.py.

Caveats:

Too many to count! This is just for me at the moment. I'm sharing it in case it's useful to someone, but I'm postponing all TODOs indefinitely. The peripheral currently works for me, so I will probably not make any improvements nor do any cleanup until I have good reason to change something.