part of gdb openocd config