[bootlin/training-materials updates] master: preempt-rt: Use a kernel tarball to speed-up the download (e5f27081)

[Maxime Chevallier]

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

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

commit e5f270815fb200b6ca89e0e239a804dc34db97d4
Author: Maxime Chevallier <maxime.chevallier at bootlin.com>
Date:   Tue Feb 7 12:04:17 2023 +0100

    preempt-rt: Use a kernel tarball to speed-up the download
    
    Signed-off-by: Maxime Chevallier <maxime.chevallier at bootlin.com>


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

e5f270815fb200b6ca89e0e239a804dc34db97d4
 labs/preempt-rt-patch-download/preempt-rt-patch-download.tex | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/labs/preempt-rt-patch-download/preempt-rt-patch-download.tex b/labs/preempt-rt-patch-download/preempt-rt-patch-download.tex
index b7634dff..583d5ce1 100644
--- a/labs/preempt-rt-patch-download/preempt-rt-patch-download.tex
+++ b/labs/preempt-rt-patch-download/preempt-rt-patch-download.tex
@@ -65,15 +65,12 @@ make stm32mp157a_dk1_defconfig
 We'll configure Buildroot to download the Linux Kernel with the RT Patch applied.
 
 From the \code{make menuconfig} interface, change the Kernel sources's custom
-git repository location to the following :
+git tarball location to the following :
 
-\url{git://git.kernel.org/pub/scm/linux/kernel/git/rt/linux-rt-devel.git}
-
-We'll use the latest development RT version, which is \code{v6.2-rc3-rt1}. Set that
-value in the \code{Custom repository version}
+\url{https://git.kernel.org/pub/scm/linux/kernel/git/rt/linux-rt-devel.git/snapshot/linux-rt-devel-6.2-rc3-rt1.tar.gz}
 
 Make sure you enable a toolchain with wchar and C++ support, it will be required
-for later, and 
+for later, and select the kernel headers corresponding to a kernel 6.1 or newer.
 
 Realtime applications should really be using the GLibC, so select this C library in the
 toolchain configuration.