Clone or download repository, copy the contents of .devcontainer into your project Remove any existing "build" directory.
Open the folder, and allow the container to build.
- SDK is installed in /pico-sdk
- All USB devices are exported to container - so the picoprobe can be found and used.
- USB Device /dev/ttyACM0 is exported to container for monitoring
- pico-sdk
- openocd - compiled for picoprobe
- picotool
- bootterm (for serial monitoring) - see https://github.com/wtarreau/bootterm