OpenOCD Configuration File for the STM32F4.