OpenOCD script for STM32F4 MCU

scripts/openocd/stm32f4.cfg

@@ -0,0 +1,17 @@
+#
+# OpenOCD configuration file for in-circuit debugging the stm32f4discovery
+# To start debugging issue those commands:
+#    arm-miosix-eabi-gdb main.elf
+#    target remote :3333
+#    monitor reset halt
+#    load
+#    break main
+#    continue
+#
+
+# Daemon configuration
+telnet_port 4444
+gdb_port 3333
+
+# Board support is available in newer oocd
+source [find board/stm32f4discovery.cfg]