|
# 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
|