Collection of tools, drivers, etc... for embedded development.
Primarily focused on building bustool as a shell-over-serial for debugging and interacting with embedded devices.
Many of the APIs are being worked out. term and term/ansi are starting to settle. The serial and driver/* packages are still in flux.
To debug on a RP2040, you will need openocd compiled from the rpi-openocd repository.
# deps for debian systems
sudo apt install automake autoconf build-essential texinfo libtool libftdi-dev libusb-1.0-0-dev
# special repo, special branch (or you will get "Error: The specified debug interface was not found (picoprobe)")
git clone https://github.com/raspberrypi/openocd.git --branch rp2040 --depth=1 --no-single-branch
cd openocd
./bootstrap
# add --enable-sysfsgpio --enable-bcm2835gpio for raspberry pi GPIO/bitbang support
./configure --enable-picoprobe
make -j4
sudo make installSerial: picocom -b 115200 /dev/ttyACM0
Flash: tinygo flash -target=pico -programmer=ocd ./cmd/bustool-pico/