telnet_port 4444
gdb_port 3333

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

source [find target/stm32f3x_stlink.cfg]

init
arm semihosting enable