diff --git a/scripts/openocd/stm32f4.cfg b/scripts/openocd/stm32f4.cfg
new file mode 100644
index 00000000..b489a546
--- /dev/null
+++ b/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]