[FE training-materials-updates] Kernel debugging: clarify instructions

[Michael Opdenacker]

Repository : git://git.free-electrons.com/training-materials.git

On branch  : master
Link       : http://git.free-electrons.com/training-materials/commit/?id=5b9f3845bf73ecd4649343b273ab504aa480b065

>---------------------------------------------------------------

commit 5b9f3845bf73ecd4649343b273ab504aa480b065
Author: Michael Opdenacker <michael.opdenacker at free-electrons.com>
Date:   Thu Jun 6 10:43:47 2013 +0200

    Kernel debugging: clarify instructions
    
    - Making it clearer that we access the kernel log
      on the serial port again
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at free-electrons.com>


>---------------------------------------------------------------

5b9f3845bf73ecd4649343b273ab504aa480b065
 labs/kernel-debugging/kernel-debugging.tex |    7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/labs/kernel-debugging/kernel-debugging.tex b/labs/kernel-debugging/kernel-debugging.tex
index 24127e9..3ab4862 100644
--- a/labs/kernel-debugging/kernel-debugging.tex
+++ b/labs/kernel-debugging/kernel-debugging.tex
@@ -57,11 +57,16 @@ that have been transmitted by your driver.
 
 \section{Kernel crash analysis}
 
+In this part, we will get back to a standard kernel configuration,
+accessing the kernel logs on the serial console.
+
 \subsection{Setup}
 
 Go to the \code{$HOME/felabs/linux/debugging} directory.
 
-Make sure that your kernel has the following options enabled:
+Reuse kernel sources from the previous labs. Configure the kernel
+with the default settings for your board, and then make sure the
+the following options enabled:
 
 \begin{itemize}