debugging: labs: kernel: fix typos and formatting

Signed-off-by: Luca Ceresoli <[email protected]>

labs/debugging-kernel-debugging/debugging-kernel-debugging.tex

@@ -180,7 +180,7 @@ \section{KGDB debugging}
 Note: the slave ports number will depend on the run.
 
 \textbf{Important: before using \code{/dev/pts/7} and \code{/dev/pts/8}, the
-picocom process that did opened \code{/dev/ttyACM0} must be closed!}
+picocom process that did open \code{/dev/ttyACM0} must be closed!}
 
 On the target, setup KGDB by setting the console to be used for that purpose in
 kgdboc module parameters:
@@ -201,7 +201,7 @@ \section{KGDB debugging}
 {\em TIP: in order to allow auto-loading of python scripts, you can add
 \code{set auto-load safe-path /} in your .gdbinit file}
 
-First of all, confirm with GDB the information that were previous obtained
+First of all, confirm with GDB the information that were previously obtained
 post-crash. This will allow you to also display variables values. Starting from that
 point, we will add a breakpoint on the \code{watchdog_set_drvdata()} function.
 However, this function is called early in boot so we will need to actually
@@ -235,7 +235,7 @@ \section{KGDB debugging}
 
 Before continuing the execution, add a breakpoint on
 \code{watchdog_set_drvdata()} using the \code{break} GDB command and then
-continue the execution using the continue \code{command}
+continue the execution using the \code{continue} command
 
 \begin{bashinput}
 (gdb) break watchdog_set_drvdata
@@ -257,7 +257,7 @@ \section{KGDB debugging}
 the problem using the \code{watchdog} command.
 
 {\em Note: In theory, we could have added a watchpoint to watch the address that
-was modified but the arm32 platforms do not provide watchpoints support with
+was modified but the arm32 platform does not provide watchpoint support with
 KGDB.}
 
 \subsection{Debugging a module}
@@ -282,7 +282,7 @@ \subsection{Debugging a module}
 \end{bashinput}
 
 We can now enter KGDB mode and attach the external gdb to it. We will do
-that using using the magic SySrq 'g' key. Before that, ensure the tty
+that using the magic SySrq 'g' key. Before that, ensure the tty
 device for gdb already set, or set it now:
 
 \begin{bashinput}