[bootlin/training-materials updates] master: Kernel slides: minor improvements (2f992cb2)

[Michael Opdenacker]

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

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

commit 2f992cb2b2df652318110266dc07acf8510f99fd
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Mon Feb 1 12:42:02 2021 +0100

    Kernel slides: minor improvements
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

2f992cb2b2df652318110266dc07acf8510f99fd
 slides/sysdev-kernel-building/sysdev-kernel-building.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/slides/sysdev-kernel-building/sysdev-kernel-building.tex b/slides/sysdev-kernel-building/sysdev-kernel-building.tex
index ea301cde..cc31a28f 100644
--- a/slides/sysdev-kernel-building/sysdev-kernel-building.tex
+++ b/slides/sysdev-kernel-building/sysdev-kernel-building.tex
@@ -93,9 +93,9 @@
 	  kernel, usually available in \code{/boot}:\\
 	  \code{cp /boot/config-`uname -r` .config}
      \end{itemize}
-  \item Embedded platform case:
+  \item Embedded platform case (at least on ARM 32 bit):
      \begin{itemize}
-  	\item Default configuration files are available, usually for
+	\item Default configuration files are available, usually for
 	  each CPU family.
         \item They are stored in \code{arch/<arch>/configs/}, and are
           just minimal \code{.config} files (only settings different
@@ -415,7 +415,7 @@ tools (\code{gcc}, \code{as}, \code{ld}, \code{objcopy}, \code{strip}...).
       compressed, kernel image that can be booted
       \begin{itemize}
       \item \code{bzImage} for x86, \code{zImage} for ARM,
-      \code{vmlinux.bin.gz} for ARC, etc.
+      \code{Image.gz} for RISC-V, \code{vmlinux.bin.gz} for ARC, etc.
       \end{itemize}
     \item \code{arch/<arch>/boot/dts/*.dtb}, compiled Device Tree
       files (on some architectures)