[bootlin/training-materials updates] master: debugging: labs: add missing output/ directory (ade6d351)

[Clément Léger]

Repository : https://github.com/bootlin/training-materials
On branch  : master
Link       : https://github.com/bootlin/training-materials/commit/ade6d351e98af337fbacb5fd8b25e382de700ce9

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

commit ade6d351e98af337fbacb5fd8b25e382de700ce9
Author: Clément Léger <clement.leger at bootlin.com>
Date:   Mon Nov 21 09:54:07 2022 +0100

    debugging: labs: add missing output/ directory
    
    Signed-off-by: Clément Léger <clement.leger at bootlin.com>


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

ade6d351e98af337fbacb5fd8b25e382de700ce9
 labs/debugging-setup/debugging-setup.tex | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/labs/debugging-setup/debugging-setup.tex b/labs/debugging-setup/debugging-setup.tex
index 976898ce..37f3d595 100644
--- a/labs/debugging-setup/debugging-setup.tex
+++ b/labs/debugging-setup/debugging-setup.tex
@@ -30,14 +30,14 @@ The rootfs should be extracted at \code{/home/<user>/debugging-labs/nfsroot}
 using this command:
 
 \begin{bashinput}
-$ tar xvf images/rootfs.tar -C /home/<user>/debugging-labs/nfsroot
+$ tar xvf output/images/rootfs.tar -C /home/<user>/debugging-labs/nfsroot
 \end{bashinput}
 
 We will also export the \code{CROSS_COMPILE} variable to set the toolchain as our
 cross compiling toolchain:
 
 \begin{bashinput}
-$ export CROSS_COMPILE=/home/<user>/debugging-labs/buildroot/host/bin/arm-linux-
+$ export CROSS_COMPILE=/home/<user>/debugging-labs/buildroot/output/host/bin/arm-linux-
 \end{bashinput}
 
 This export needs to be either done in each shell in which \code{CROSS_COMPILE} is
@@ -105,13 +105,13 @@ errors disappear.
 \section{Flashing the sdcard}
 
 In order to get a working board, you will need to flash a sdcard with the 
-\code{images/sdcard.img} file. Plug your sdcard on your computer and check
-on which /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 /dev/sde, use the
-following command:
+\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=images/sdcard.img of=/dev/sde
+$ sudo dd if=output/images/sdcard.img of=/dev/sde
 $ sync
 \end{bashinput}