openocd.cfg 75 Bytes
source [find board/stm32f4discovery.cfg]
$_TARGETNAME configure -rtos auto