Debugging with gdb

Connecting to a physical micro:bit

Install pyOCD:

pip3 install pyocd

With the micro:bit connected:

1. Start screen in one window (if using the serial port?)
2. pyocd -gdbserver -t nrf51 in another terminal. (It seems to find the right port!)
3. arm-none-eabi-gdb echo.elf -ex 'target extended-remote :3333' in a third terminal