telnet_port 4444
gdb_port 3333

source [find interface/stlink-v2.cfg]
#interface jlink
#interface stlink-v2
#adapter_khz 10000
#transport select swd

#source /usr/share/openocd/scripts/target/stm32f0x.cfg
source [find target/stm32f4x.cfg]

init
arm semihosting enable

#flash bank sysflash.alias stm32f0x 0x00000000 0 0 0 $_TARGETNAME