gdb_port 3333
tcl_port disabled
telnet_port disabled

#set CPUTAPID 0x2ba01477
source [find interface/stlink.cfg]
#adapter serial "X"

source [find target/stm32f1x.cfg]

init
arm semihosting enable