Just notes on using mbed
gcc-arm-none-eabi-6-2017-q2-update, put it somewhere.
gcc-arm-none-eabi-7-2017-q4-major didn’t work for me, see
mbed-os issue #6920
mbed import some url, just be careful about
scp like urls
mbed new whatever.
mbed config TARGET whatever mbed config TOOLCHAIN GCC_ARM mbed config GCC_ARM_PATH /opt/gcc-arm-none-eabi-6-2017-q2-update/bin/
Remember to put the mbed firmware on the device if needed.
Test that the device exists with
mbedls, the mbed command to program is
udisksctl mount -b /dev/sdc; mbed compile --profile mbed-os/tools/profiles/debug.json --flash
Mount the device, compile with the debug profile(optional), and flash it.
Install pyOCD sets up the gdb server
sudo -E pyocd-gdbserver --list before you think it doesn’t work,
it was a permissions issue for me, use their udev rule.
define reload mon reset load end target remote localhost:3333 load
Compile with debug profile, don’t flash. Run
reload in gdb, will program it.