telnet_port 4444
gdb_port 3333
tcl_port 6666

source [find interface/stlink-v2.cfg]
#adapter_khz 10000

source [find target/stm32f0x_stlink.cfg]

init
arm semihosting enable