zephyr/boards/arm/stm32f4_disco/support
..
openocd.cfg