[bootlin/training-materials updates] master: Embedded Linux: correct figures about the size of the Linux kernel (3e43de88)

[Michael Opdenacker]

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

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

commit 3e43de886daa47851249b083f3b87d667b7adfa6
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Tue Mar 1 12:08:51 2022 +0100

    Embedded Linux: correct figures about the size of the Linux kernel
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

3e43de886daa47851249b083f3b87d667b7adfa6
 slides/sysdev-linux-intro-sources/sysdev-linux-intro-sources.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/slides/sysdev-linux-intro-sources/sysdev-linux-intro-sources.tex b/slides/sysdev-linux-intro-sources/sysdev-linux-intro-sources.tex
index d5a4f147..cea38161 100644
--- a/slides/sysdev-linux-intro-sources/sysdev-linux-intro-sources.tex
+++ b/slides/sysdev-linux-intro-sources/sysdev-linux-intro-sources.tex
@@ -63,8 +63,8 @@ https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux}}
 	\item 29,746,102 lines (\code{git ls-files | xargs cat | wc -l})
 	\item 962,810,769 bytes (\code{git ls-files | xargs cat | wc -c})
     \end{itemize}
-  \item A minimum uncompressed Linux kernel just sizes 1-2 MB
-  \item Why are these sources so big?\\
+  \item But a compressed Linux kernel just sizes a few megabytes.
+  \item So, why are these sources so big?\\
     Because they include thousands of device drivers, many network
     protocols, support many architectures and filesystems...
   \item The Linux core (scheduler, memory management...) is pretty