[bootlin/training-materials updates] master: labs/sysdev-u-boot-beagleplay: fix typos (424ed31d)

[Michael Opdenacker]

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

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

commit 424ed31dbfc034c539f420d08d0ea27be9996221
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Wed Jul 26 13:52:23 2023 +0200

    labs/sysdev-u-boot-beagleplay: fix typos
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

424ed31dbfc034c539f420d08d0ea27be9996221
 .../sysdev-u-boot-beagleplay.tex                       | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/labs/sysdev-u-boot-beagleplay/sysdev-u-boot-beagleplay.tex b/labs/sysdev-u-boot-beagleplay/sysdev-u-boot-beagleplay.tex
index 9e11df25..5f404303 100644
--- a/labs/sysdev-u-boot-beagleplay/sysdev-u-boot-beagleplay.tex
+++ b/labs/sysdev-u-boot-beagleplay/sysdev-u-boot-beagleplay.tex
@@ -130,7 +130,7 @@ As Master of the boot process, the TIFS, which is running on the M4F processor,
 will first initiate the R5 Processor and requests the R5 to load a
 complementary firmware to TIFS core.
 Once this done the R5 will run a U-Boot SPL in order to configure DDR and
-the R5 firmware. Finally it will requests the TIFS to Start the first A53 CPU.
+the R5 firmware. Finally it will request the TIFS to start the first A53 CPU.
 
 Once the A53 is started, it will load TF-A within the secure world.
 After this, the A53 will switch to normal world and load U-Boot SPL which
@@ -264,7 +264,7 @@ $ git checkout c126d3864b9faf725ff40e620049ab5d56dedc5b
 Next, the AM62x requires both SPL and the TIFS firmware to be grouped into a
 single image within a X.509 Certificate encaplusation.
 
-To do so, TI provide us a tool called \code{k3-image-gen}, so let's use it !
+To do so, TI provides us a tool called \code{k3-image-gen}, so let's use it !
 
 Get \code{k3-image-gen},
 \begin{bashinput}
@@ -274,7 +274,7 @@ $ cd k3-image-gen/
 $ git checkout 150f1956b4bdcba36e7dffc78a4342df602f8d6e
 \end{bashinput}
 
-Few parameters have to be passed to the Makefile,
+A few parameters have to be passed to the Makefile,
 \begin{itemize}
 \item The SoC name: \code{SOC=am62x}
 \item The path to the \code{u-boot-spl} image:
@@ -289,7 +289,7 @@ In a single command we then have:
 $ make SOC=am62x SBL=../build_uboot/r5/spl/u-boot-spl.bin SYSFW_PATH=../ti-linux-firmware/ti-sysfw/ti-fs-firmware-am62x-gp.bin
 \end{bashinput}
 
-\section{Get and compile the TF-A}
+\section{Get and compile TF-A}
 Get the mainline TF-A sources:
 
 \begin{bashinput}
@@ -305,8 +305,8 @@ Several configuration parameters have to be passed to the Makefile:
       either using the environment variable:
       \inlinebash{$ export CROSS_COMPILE=aarch64-linux-}, or just by
       adding it to the \code{make} commande line.
-\item The architecture has to be selected (aarch64)
-      Again either using the environment variable: \code{$ export ARCH=aarch64}
+\item The architecture has to be selected (aarch64),
+      again either using the environment variable: \code{$ export ARCH=aarch64}
       or just by adding it to the \code{make} commande line.
 \item The AM62x SoC platform which is the k3 family is selected
       too with \code{PLAT=k3}
@@ -352,7 +352,7 @@ So the resulting make command is:
 % In that case you need to remove this variable with:
 % \inlinebash{$ export -n ARCH}
 
-\section{Configure U-boot for A53 Processor}
+\section{Configure U-boot for the A53 Processor}
 
 First of all, like for the R5, we have to create an output directory:
 \begin{bashinput}
@@ -456,7 +456,7 @@ create a \code{dos} one. This corresponds to
 traditional partitions tables that DOS/Windows would understand.
 \code{gpt} partition tables are needed for disks bigger than 2 TB.
 
-First we need to create a First partition, which will contain the
+Now, we need to create a first partition, which will contain the
 bootimages.
 
 \begin{bashinput}
@@ -523,7 +523,7 @@ Now, copy the \code{tiboot3.bin} image into the SD card,
 folder and contains the 32 bit binaries.
 
 Next, copy both the \code{tispl.bin} and \code{u-boot.img} files.
-This time, the images contains 64 bit binaires, and therefore are contained
+This time, the images contains 64 bit binaries, and therefore are contained
 in the \code{$HOME/__SESSION_NAME__-labs/bootloader/build_uboot/a53}
 folder.