[bootlin/training-materials updates] master: Fix broken embedded-linux labs (a18cf0fb)

[Michael Opdenacker]

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

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

commit a18cf0fba41cf0ddfe54541f9085a16738afb062
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Thu Jun 25 12:17:46 2020 +0200

    Fix broken embedded-linux labs
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

a18cf0fba41cf0ddfe54541f9085a16738afb062
 .../sysdev-kernel-cross-compiling.tex              | 38 ++++++++++------------
 1 file changed, 17 insertions(+), 21 deletions(-)

diff --git a/labs/sysdev-kernel-cross-compiling/sysdev-kernel-cross-compiling.tex b/labs/sysdev-kernel-cross-compiling/sysdev-kernel-cross-compiling.tex
index 17da5d27..6e67accb 100644
--- a/labs/sysdev-kernel-cross-compiling/sysdev-kernel-cross-compiling.tex
+++ b/labs/sysdev-kernel-cross-compiling/sysdev-kernel-cross-compiling.tex
@@ -146,35 +146,32 @@ and Linux kernel images:
 
 So, let's start by erasing the corresponding 128 KiB of NAND flash
 for the DTB:
-\begin{verbatim}
-nand erase 0x180000 0x20000
-        (NAND offset) (size)
-\end{verbatim}
+
+% Verbatim doesn't seem to work in this \ifdefstring environment
+
+\code{nand erase 0x180000 0x20000} ({\em NAND-offset size})
 
 Then, let's erase the 5 MiB of NAND flash for the kernel image:
-\begin{verbatim}
-nand erase 0x1a0000 0x500000
-\end{verbatim}
+
+% Verbatim doesn't seem to work in this \ifdefstring environment
+\code{nand erase 0x1a0000 0x500000}
 
 Then, copy the DTB and kernel binaries from TFTP into memory, using the
 same addresses as before.
 
 Then, flash the DTB and kernel binaries:
-\begin{verbatim}
-nand write 0x22000000 0x180000 0x20000
-           (RAM addr) (NAND offset) (size)
-nand write 0x21000000 0x1a0000 0x500000
-\end{verbatim}
+
+% Verbatim doesn't seem to work in this \ifdefstring environment
+\code{nand write 0x22000000 0x180000 0x20000} ({\em RAM-addr NAND-offset size})\\
+\code{nand write 0x21000000 0x1a0000 0x500000}
 
 Power your board off and on, to clear RAM contents. We should now be
 able to load the DTB and kernel image from NAND and boot with:
 
-\begin{verbatim}
-nand read 0x22000000 0x180000 0x20000
-          (RAM addr) (offset) (size)
-nand read 0x21000000 0x1a0000 0x500000
-bootz 0x21000000 - 0x22000000
-\end{verbatim}
+% Verbatim doesn't seem to work in this \ifdefstring environment
+\code{nand read 0x22000000 0x180000 0x20000} ({\em RAM-addr offset size})\\
+\code{nand read 0x21000000 0x1a0000 0x500000}\\
+\code{bootz 0x21000000 - 0x22000000}
 
 Write a U-Boot script that automates the DTB + kernel download
 and flashing procedure.
@@ -182,9 +179,8 @@ and flashing procedure.
 You are now ready to modify \code{bootcmd} to boot the board
 from flash. But first, save the settings for booting from \code{tftp}:
 
-\begin{verbatim}
-setenv bootcmdtftp ${bootcmd}
-\end{verbatim}
+% Verbatim doesn't seem to work in this \ifdefstring environment
+\code{setenv bootcmdtftp ${bootcmd}}
 
 This will be useful to switch back to \code{tftp} booting mode
 later in the labs.