typo

5 years ago · 9e3dde4c31
parent 43c535e765
commit 9e3dde4c31
1 changed files with 1 additions and 1 deletions
--- a/source/development/how-tos/kernel_debugging.rst
+++ b/source/development/how-tos/kernel_debugging.rst
@ -98,7 +98,7 @@ Login to the test machine and force a debug session in gdb, using the following
      db> c (continue)


-The go to the build machine, make sure gdb is installed (:code:`pkg install gdb`) and go to the directory where
+Then go to the build machine, make sure gdb is installed (:code:`pkg install gdb`) and go to the directory where
 the debug symbols are and start a session, ask a backtrace :code:`bt` and continue normal operation :code:`c`:

 .. code-block: sh: