diff --git a/labs/debugging-setup/debugging-setup.tex b/labs/debugging-setup/debugging-setup.tex
index 54e9a6e9d8..eef0c79cfa 100644
--- a/labs/debugging-setup/debugging-setup.tex
+++ b/labs/debugging-setup/debugging-setup.tex
@@ -52,6 +52,24 @@ \section{Building the image}
 going to be used or added to your shell configuration (\code{.bashrc} for
 instance)
 
+\section{Flashing the sdcard}
+
+In order to get a working board, you will need to flash a sdcard with the 
+\code{output/images/sdcard.img} file. Plug your sdcard on your computer and
+check on which \code{/dev/sdX} it has been mounted (you can use the \code{dmesg}
+command to check that). For instance, if the sdcard has been mounted on
+\code{/dev/sde}, use the following command:
+
+\begin{bashinput}
+$ sudo dd if=output/images/sdcard.img of=/dev/sde
+$ sync
+\end{bashinput}
+
+NOTE: Double-check that you are targeting the correct device before executing
+the dd command!
+
+Once flashed, insert the sdcard into the STM32MP157D board.
+
 \input{../common/stm32-prepare.tex}
 
 \section{Set up the Ethernet communication on the workstation}
@@ -116,24 +134,6 @@ \section{Setting up the NFS server}
 syntax error in the \code{/etc/exports} file. Don't proceed until these
 errors disappear.
 
-\section{Flashing the sdcard}
-
-In order to get a working board, you will need to flash a sdcard with the 
-\code{output/images/sdcard.img} file. Plug your sdcard on your computer and
-check on which \code{/dev/sdX} it has been mounted (you can use the \code{dmesg}
-command to check that). For instance, if the sdcard has been mounted on
-\code{/dev/sde}, use the following command:
-
-\begin{bashinput}
-$ sudo dd if=output/images/sdcard.img of=/dev/sde
-$ sync
-\end{bashinput}
-
-NOTE: Double-check that you are targeting the correct device before executing
-the dd command!
-
-Once flashed, plug the sdcard onto the STM32MP157D board and reboot the board.
-
 \section{U-Boot setup}
 
 In order to use a rootfs on NFS, we will use an external rootfs. This can be