#
telnet_port 4444
gdb_port 3333

#interface hla
#hla_layout stlink
#hla_device_desc "ST-LINK/V2"
#hla_vid_pid 0x0483 0x3748

source [find interface/stlink-v2.cfg]