[bootlin/training-materials updates] master: boot-time labs: boot-time-build-system.tex: update kernel headers (6c5f2331)

[Michael Opdenacker]

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

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

commit 6c5f2331e7d0f38da79c49603b4705f70aadb6ea
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Fri Jun 9 09:23:35 2023 +0200

    boot-time labs: boot-time-build-system.tex: update kernel headers
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

6c5f2331e7d0f38da79c49603b4705f70aadb6ea
 labs/boot-time-build-system/boot-time-build-system.tex | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/labs/boot-time-build-system/boot-time-build-system.tex b/labs/boot-time-build-system/boot-time-build-system.tex
index 8e2016d9..a83b35bb 100644
--- a/labs/boot-time-build-system/boot-time-build-system.tex
+++ b/labs/boot-time-build-system/boot-time-build-system.tex
@@ -85,6 +85,12 @@ make menuconfig
 
 \item \code{Toolchain} menu
   \begin{itemize}
+  \item \code{Kernel Headers}: select \code{Manually specified Linux version}
+	and then set \code{linux version} to \code{6.1}. This corresponds
+	to the Linux kernel version we are going to use. For the system
+	we want to build, which doesn't need system calls introduced
+	by recent kernels, we could have used an older version of the
+	kernel headers.
   \item \code{GCC compiler Version}: select \code{gcc 11.x}. This allows
         to have the most recent version of the compiler supported by
 	this Buildroot release, and the best available optimizations.