Merge branch 'pr/764'

Author: benma

scripts/jlink-gdb-debug/.gdbinit

@@ -2,7 +2,7 @@
 # $ JLinkGDBServer -if SWD -device ATSAMD51J20 -speed 4000 -ir
 # See I/O using telnet:
 # $ telnet localhost 2333
-file ../../build/bin/firmware-semihosting.elf
+file ../../build-semihosting/bin/firmware.elf
 target remote :2331
 monitor semihosting enable
 monitor reset