diff --git a/stmhal/boards/openocd_stm32f4.cfg b/stmhal/boards/openocd_stm32f4.cfg
index 122ae42b1b..ee96b91bd9 100644
--- a/stmhal/boards/openocd_stm32f4.cfg
+++ b/stmhal/boards/openocd_stm32f4.cfg
@@ -4,7 +4,7 @@
 # To flash your firmware:
 #
 #    $ openocd -f openocd_stm32f4.cfg \
-#        -c "stm_flash build-BOARD/firmware0.bin build-BOARD/firmware1.bin"
+#        -c "stm_flash build-BOARD/firmware0.bin 0x08000000 build-BOARD/firmware1.bin 0x08020000"
 #
 # For a gdb server on port 3333:
 #
diff --git a/stmhal/boards/openocd_stm32f7.cfg b/stmhal/boards/openocd_stm32f7.cfg
index 18aa58c962..55b6326503 100644
--- a/stmhal/boards/openocd_stm32f7.cfg
+++ b/stmhal/boards/openocd_stm32f7.cfg
@@ -4,7 +4,7 @@
 # To flash your firmware:
 #
 #    $ openocd -f openocd_stm32f7.cfg \
-#        -c "stm_flash build-BOARD/firmware0.bin build-BOARD/firmware1.bin"
+#        -c "stm_flash build-BOARD/firmware0.bin 0x08000000 build-BOARD/firmware1.bin 0x08020000"
 #
 # For a gdb server on port 3333:
 #
diff --git a/stmhal/boards/openocd_stm32l4.cfg b/stmhal/boards/openocd_stm32l4.cfg
index 3c9b999812..59e98de038 100644
--- a/stmhal/boards/openocd_stm32l4.cfg
+++ b/stmhal/boards/openocd_stm32l4.cfg
@@ -4,7 +4,7 @@
 # To flash your firmware:
 #
 #    $ openocd -f openocd_stm32l4.cfg \
-#        -c "stm_flash build-BOARD/firmware0.bin build-BOARD/firmware1.bin"
+#        -c "stm_flash build-BOARD/firmware0.bin 0x08000000 build-BOARD/firmware1.bin 0x08004000"
 #
 # For a gdb server on port 3333:
 #