[bootlin/training-materials updates] master: labs/sysdev-kernel-cross-compiling: improve BeaglePlay parameters (7f8b040c)

[Michael Opdenacker]

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

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

commit 7f8b040cde238025e62f4aafa3cdf5f0dbdb9ab5
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Wed Jul 26 16:17:50 2023 +0200

    labs/sysdev-kernel-cross-compiling: improve BeaglePlay parameters
    
    Provide an explanation for the chosen values.
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

7f8b040cde238025e62f4aafa3cdf5f0dbdb9ab5
 .../sysdev-kernel-cross-compiling.tex                              | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/labs/sysdev-kernel-cross-compiling/sysdev-kernel-cross-compiling.tex b/labs/sysdev-kernel-cross-compiling/sysdev-kernel-cross-compiling.tex
index 8569cb89..cef97266 100644
--- a/labs/sysdev-kernel-cross-compiling/sysdev-kernel-cross-compiling.tex
+++ b/labs/sysdev-kernel-cross-compiling/sysdev-kernel-cross-compiling.tex
@@ -212,11 +212,16 @@ therfore, needs to be uncompressed by U-Boot before continue booting. To do so
 U-Boot needs to know the maximum size of the uncompressed image and where to
 store it.
 
+If you look at the size of the uncompressed kernel (\code{Image} file),
+you can estimate that 32 MB (0x2000000) is a reasonable upper bound
+for the size of the uncompressed kernel, even with a more exhaustive
+configuration.
+
 This gives us,
 
 \begin{ubootinput}
 => setenv kernel_comp_addr_r 0x85000000
-=> setenv kernel_comp_size 0x16ee200
+=> setenv kernel_comp_size 0x2000000
 => saveenv
 \end{ubootinput}