[bootlin/training-materials updates] master: Kernel slides: update size stats and fix commands (70ea04c5)

[Michael Opdenacker]

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

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

commit 70ea04c5a8c8f8431939cdc915d17e04979a0c31
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Thu Nov 28 06:52:04 2019 +0100

    Kernel slides: update size stats and fix commands
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

70ea04c5a8c8f8431939cdc915d17e04979a0c31
 .../sysdev-linux-intro-sources.tex                           | 12 +++++-------
 1 file changed, 5 insertions(+), 7 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 b9521acc..34dec8d7 100644
--- a/slides/sysdev-linux-intro-sources/sysdev-linux-intro-sources.tex
+++ b/slides/sysdev-linux-intro-sources/sysdev-linux-intro-sources.tex
@@ -75,15 +75,13 @@
 \begin{frame}
   \frametitle{Linux kernel size (1)}
   \begin{itemize}
-  \item Linux 4.11 sources:\\
+  \item Linux 5.4 sources:\\
     \begin{itemize}
-	\item 57994 files (\code{git ls-files | wc -l})
-	\item 23144003 lines (\code{wc -l $(git ls-files)})
-	\item 675576310 bytes (\code{wc -c $(git ls-files)})
+	\item 66031 files (\code{git ls-files | wc -l})
+	\item 27679764 lines (\code{git ls-files | xargs cat | wc -l})
+	\item 889221135 bytes (\code{git ls-files | xargs cat | wc -c})
     \end{itemize}
-  \item Minimum Linux 4.11 compiled kernel size,
-        booting to a shell on the ARM Versatile board:
-    	405,464 bytes (compressed), 1,112,264 bytes (raw)
+  \item A minimum uncompressed Linux kernel just sizes 1-2 MB
   \item Why are these sources so big?\\
     Because they include thousands of device drivers, many network
     protocols, support many architectures and filesystems...