diff --git a/Documentation/platforms/arm/stm32f0/index.rst b/Documentation/platforms/arm/stm32f0/index.rst
index 3b0ecfbbac1..9849ed52814 100644
--- a/Documentation/platforms/arm/stm32f0/index.rst
+++ b/Documentation/platforms/arm/stm32f0/index.rst
@@ -52,6 +52,33 @@ USB         Yes
 HDMI-CEC    No
 ==========  =======  =====
 
+Flashing and Debugging
+======================
+
+NuttX firmware Flashing with STLink probe and OpenOCD::
+
+   openocd -f  interface/stlink.cfg -f target/stm32f0x.cfg -c 'program nuttx.bin 0x08000000; reset run; exit'
+
+Remote target Reset with STLink probe and OpenOCD::
+
+   openocd -f interface/stlink.cfg -f target/stm32f0x.cfg -c 'init; reset run; exit'
+
+Remote target Debug with STLink probe and OpenOCD:
+
+ 1. You need to have NuttX built with debug symbols, see :ref:`debugging`.
+
+ 2. Launch the OpenOCD GDB server::
+
+     openocd -f interface/stlink.cfg -f target/stm32f0x.cfg -c 'init; reset halt'
+
+ 3. You can now attach to remote OpenOCD GDB server with your favorite debugger,
+    for instance gdb::
+
+     arm-none-eabi-gdb --tui nuttx -ex 'target extended-remote localhost:3333'
+     (gdb) monitor reset halt
+     (gdb) breakpoint nsh_main
+     (gdb) continue
+
 Supported Boards
 ================
 
diff --git a/Documentation/platforms/arm/stm32l4/index.rst b/Documentation/platforms/arm/stm32l4/index.rst
index 4d094ae271c..6be0b2f932c 100644
--- a/Documentation/platforms/arm/stm32l4/index.rst
+++ b/Documentation/platforms/arm/stm32l4/index.rst
@@ -104,6 +104,33 @@ OCTOSPI     No
 OCTOSPIIOM  No
 ==========  =======  ==============================
 
+Flashing and Debugging
+======================
+
+NuttX firmware Flashing with STLink probe and OpenOCD::
+
+   openocd -f  interface/stlink.cfg -f target/stm32l4x.cfg -c 'program nuttx.bin 0x08000000; reset run; exit'
+
+Remote target Reset with STLink probe and OpenOCD::
+
+   openocd -f interface/stlink.cfg -f target/stm32l4x.cfg -c 'init; reset run; exit'
+
+Remote target Debug with STLink probe and OpenOCD:
+
+ 1. You need to have NuttX built with debug symbols, see :ref:`debugging`.
+
+ 2. Launch the OpenOCD GDB server::
+
+     openocd -f interface/stlink.cfg -f target/stm32l4x.cfg -c 'init; reset halt'
+
+ 3. You can now attach to remote OpenOCD GDB server with your favorite debugger,
+    for instance gdb::
+
+     arm-none-eabi-gdb --tui nuttx -ex 'target extended-remote localhost:3333'
+     (gdb) monitor reset halt
+     (gdb) breakpoint nsh_main
+     (gdb) continue
+
 Supported Boards
 ================