[bootlin/training-materials updates] master: preempt-rt labs: fix hardware platform in descriptions (ecf1fc45)

[Michael Opdenacker]

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

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

commit ecf1fc4559307093b639ace5676b60f91c99f85f
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Thu Nov 3 10:52:35 2022 +0100

    preempt-rt labs: fix hardware platform in descriptions
    
    There were two instances left with "beaglebone"
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

ecf1fc4559307093b639ace5676b60f91c99f85f
 common/preempt-rt-labs-vars.tex                                       | 4 ++--
 .../preempt-rt-application-development.tex                            | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/common/preempt-rt-labs-vars.tex b/common/preempt-rt-labs-vars.tex
index 5d7aa73d..1d0c2ed9 100644
--- a/common/preempt-rt-labs-vars.tex
+++ b/common/preempt-rt-labs-vars.tex
@@ -1,3 +1,3 @@
 \def\labbooktitle{Preempt RT Training}
-\def\labbooksubtitle{Beaglebone Black variant}
-\def\labboard{beaglebone}
+\def\labbooksubtitle{STM32MP1 variant}
+\def\labboard{stm32mp1}
diff --git a/labs/preempt-rt-application-development/preempt-rt-application-development.tex b/labs/preempt-rt-application-development/preempt-rt-application-development.tex
index abf8a8e0..e818c077 100644
--- a/labs/preempt-rt-application-development/preempt-rt-application-development.tex
+++ b/labs/preempt-rt-application-development/preempt-rt-application-development.tex
@@ -38,6 +38,6 @@ Make sure that the timestamps are gathered using the right clock.
 Using \code{perf}, try to analyse the program. What can you say about the number
 of pagefaults and their occurence ?
 
-The GPIO controller on the beaglebone uses edge-triggered interrupts for event
+The GPIO controller on the board uses edge-triggered interrupts for event
 reporting. Make sure these interrupts have the right priority.