[bootlin/training-materials updates] master: debugging: labs: debugging-setup: Fix typo (dc731ffd)

[Herve Codina]

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

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

commit dc731ffd0d72f707c7fae9280003ef64f009696c
Author: Herve Codina <herve.codina at bootlin.com>
Date:   Thu Nov 17 10:28:16 2022 +0100

    debugging: labs: debugging-setup: Fix typo
    
    Signed-off-by: Herve Codina <herve.codina at bootlin.com>


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

dc731ffd0d72f707c7fae9280003ef64f009696c
 labs/debugging-setup/debugging-setup.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/labs/debugging-setup/debugging-setup.tex b/labs/debugging-setup/debugging-setup.tex
index 6e8c6c83..976898ce 100644
--- a/labs/debugging-setup/debugging-setup.tex
+++ b/labs/debugging-setup/debugging-setup.tex
@@ -23,7 +23,7 @@ $ make -j12
 
 This will take a few minutes. At the end of the build, a images directory will
 contain the images that can be used on the board. During this course, we will
-use a kernel located on a sdcard and a rootfs vis NFS. This will let us transfer
+use a kernel located on a sdcard and a rootfs via NFS. This will let us transfer
 data freely from and to the target board.
 
 The rootfs should be extracted at \code{/home/<user>/debugging-labs/nfsroot}