[bootlin/training-materials updates] master: labs/sysdev-u-boot-beagleplay: fix booting instructions (abc5501a)

[Michael Opdenacker]

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

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

commit abc5501a820c8f90664982af7c5928928016aefe
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Wed Jul 26 14:12:42 2023 +0200

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


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

abc5501a820c8f90664982af7c5928928016aefe
 labs/sysdev-u-boot-beagleplay/sysdev-u-boot-beagleplay.tex | 14 +++-----------
 1 file changed, 3 insertions(+), 11 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 5f404303..a440a56e 100644
--- a/labs/sysdev-u-boot-beagleplay/sysdev-u-boot-beagleplay.tex
+++ b/labs/sysdev-u-boot-beagleplay/sysdev-u-boot-beagleplay.tex
@@ -538,19 +538,11 @@ $ cp $HOME/__SESSION_NAME__-labs/bootloader/build_uboot/a53/u-boot.img /media/$U
 \section{Testing U-Boot}
 
 Insert the SD card in the board slot. To boot the board on the external micro-SD
-card, you need to hold the \code{USR/BOOT} button close to the USB host
-port, and then power-up or reset the board. You can then release the
+card, you need to hold the \code{USR/BOOT} button at the right of the
+microSD slot (as seen from above), and then power-up the board through
+its USB-C connection, or reset it. You can then release the
 \code{USR} button.
 
-This seems like a very inconvenient way of booting the board, but
-the selection of attempting to boot from the external micro-SD card
-remains active across resets, until the board is ultimately powered off.
-So, you will just need to use the button a few times during the course.
-
-If this is too inconvenient for you, you could use U-Boot on the
-external micro-SD card to flash a new version of U-Boot on the internal
-eMMC. This would allow you to boot without an external micro-SD card.
-
 Here's what you should get on the serial line:
 
 \begin{verbatim}