gdb_port pipe log_output openocd.log $_TARGETNAME configure -event gdb-detach { echo "Debugger detaching: resuming execution." resume }