#
telnet_port 4444
gdb_port 3333

source [find interface/stlink-v2.cfg]