4 . openocd_configuration ||
exit 1
6 echo "*********************************************"
7 echo "Connect to OpenOCD via: telnet localhost $(awk '/^telnet_port/{print$2}' $CONFIG_GEN)"
8 echo "*********************************************"
9 openocd
-f $CONFIG_GEN -f $CONFIG_IF -f $CONFIG_BOARD