- Install rust nightly from https://rustup.rs/
- Install
xargowithcargo install xargo - Install openocd (for instance the default 0.9.0 version from Ubuntu)
Build with ./build.sh
Load on the board to debug with ./run.sh
Flash with ./flash.sh
Note that flashing requires the use of cc3200tool, which can be installed by following the README here