# sample openocd config file for use with ArduPilot
# ChibiOS boards
source [find interface/stlink.cfg]
# replace the stm32f4x with the right value for
# your microcontroller
source [find target/stm32f4x.cfg]
init
$_TARGETNAME configure -rtos ChibiOS