- Install rust nightly from https://rustup.rs/
- Install
xargo
withcargo 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