1# copy this file to .gdbinit in your Firmware tree 2 3# this sets up gdb to use openocd. You must start openocd first 4target extended-remote :3333 5 6set print pretty 7set remote hardware-watchpoint-limit 2 8mon reset halt 9maintenance flush register-cache 10set confirm off 11 12