# common/gdb/openocd-stm32f4-chibios.cfg
# STM32F4x CPU with ChibiOS RTOS support

#debug_level 2

#gdb_port 3334
#tcl_port 0
#telnet_port 4445

source [find interface/stlink-v2.cfg]

#hla_serial "\x49\x3F\x6D\x06\x66\x70\x48\x51\x36\x15\x10\x67"
transport select hla_swd

source [find target/stm32f4x.cfg]

adapter_khz 1000

# use hardware reset, connect under reset
reset_config trst_and_srst trst_pulls_srst srst_nogate connect_assert_srst

$_TARGETNAME configure -rtos auto