target remote | openocd -c "gdb_port pipe; log_output openocd.log" -f board/ti_cc3200_launchxl.cfg

load

set $sp = g_pfnVectors[0]
set $pc = g_pfnVectors[1]

break main
continue