\end{small}
\paragraph{}
-A GDB server must be start to interact with the STM32.
-Depending on the discovery kit you are using, you must
-run one of the 2 commands:\\
+A GDB server must be start to interact with the STM32. Depending on the discovery kit you
+are using, you must run one of the 2 commands:\\
\begin{small}
\begin{lstlisting}[frame=tb]
# STM32VL discovery kit
\end{lstlisting}
\end{small}
+\paragraph{}
+The board BLUE and GREEN leds should be blinking (those leds are near the user and reset buttons).
+
\newpage
\section{References}