[bootlin/training-materials updates] master: Kernel lab: add missing Elixir link (373ac4d7)

[Michael Opdenacker]

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

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

commit 373ac4d7f05bdf8e41331b6f54381f63865c2db1
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Tue Oct 20 17:39:57 2020 +0200

    Kernel lab: add missing Elixir link
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

373ac4d7f05bdf8e41331b6f54381f63865c2db1
 labs/kernel-serial-output/kernel-serial-output.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/labs/kernel-serial-output/kernel-serial-output.tex b/labs/kernel-serial-output/kernel-serial-output.tex
index d2cf6f55..4ae94801 100644
--- a/labs/kernel-serial-output/kernel-serial-output.tex
+++ b/labs/kernel-serial-output/kernel-serial-output.tex
@@ -97,7 +97,7 @@ Now, add code to your write function, to copy user data to the serial
 port, writing characters one by one.
 
 The first thing to do is to retrieve the \code{serial_dev} structure
-from the \code{miscdevice} structure itself, accessible through the
+from the \ksym{miscdevice} structure itself, accessible through the
 \code{private_data} field of the open file structure (\code{file}).
 
 At the time we registered our {\em misc} device, we didn't keep any