[bootlin/training-materials updates] master: labs/sysdev-u-boot-stm32: fix serial device name (c8e06bbe)

[Michael Opdenacker]

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

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

commit c8e06bbe45223f42ceaaed099480353882ed9f55
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Tue Nov 15 14:15:10 2022 +0100

    labs/sysdev-u-boot-stm32: fix serial device name
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

c8e06bbe45223f42ceaaed099480353882ed9f55
 labs/sysdev-u-boot-stm32/sysdev-u-boot-stm32.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/labs/sysdev-u-boot-stm32/sysdev-u-boot-stm32.tex b/labs/sysdev-u-boot-stm32/sysdev-u-boot-stm32.tex
index 9de40020..c463a8ae 100644
--- a/labs/sysdev-u-boot-stm32/sysdev-u-boot-stm32.tex
+++ b/labs/sysdev-u-boot-stm32/sysdev-u-boot-stm32.tex
@@ -48,7 +48,7 @@ serial communication program, such as \code{picocom}:
 
 \bashcmd{$ sudo apt install picocom}
 
-If you run \code{ls -l /dev/ttyUSB0}, you can also see that only
+If you run {\tt -l \hosttty}, you can also see that only
 \code{root} and users belonging to the \code{dialout} group have
 read and write access to the serial console. Therefore, you need
 to add your user to the \code{dialout} group: