[bootlin/training-materials updates] master: Boot time labs: Arduino IDE version updates (62a65c73)

[Michael Opdenacker]

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

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

commit 62a65c73cdb4a20fbb59152aaf751a01636e0e07
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Thu Apr 1 08:58:08 2021 +0200

    Boot time labs: Arduino IDE version updates
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

62a65c73cdb4a20fbb59152aaf751a01636e0e07
 .../boot-time-hardware-measurement.tex                            | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/labs/boot-time-hardware-measurement/boot-time-hardware-measurement.tex b/labs/boot-time-hardware-measurement/boot-time-hardware-measurement.tex
index aeaf9ca7..61b9a412 100644
--- a/labs/boot-time-hardware-measurement/boot-time-hardware-measurement.tex
+++ b/labs/boot-time-hardware-measurement/boot-time-hardware-measurement.tex
@@ -11,16 +11,16 @@ Take the Arduino Nano board provided by your instructor. Connect it in
 the middle of the breadboard provided too, so that you can connect
 wires to both sides of the Arduino.
 
-Download the 1.8.9 version of the Arduino IDE from
+Download the 1.8.13 version of the Arduino IDE from
 \url{https://www.arduino.cc/} (don't use the Arduino
-package in Ubuntu 18.04, as it has issues connecting to the serial port,
+package in Ubuntu 20.04, as it has issues connecting to the serial port,
 even with root privileges, while the official version works without any problem).
 Extract the archive in \code{/usr/local/}.
 
 Use the provided USB cable to connect the Arduino to your PC, and start the IDE:
 
 \begin{verbatim}
-/usr/local/arduino-1.8.9/arduino
+/usr/local/arduino-1.8.13/arduino
 \end{verbatim}
 
 Now, configure the IDE for your Arduino:
@@ -35,7 +35,7 @@ Now, configure the IDE for your Arduino:
 
 Now are now ready to use your Arduino board:
 \begin{itemize}
-\item Go to \code{Examples}, \code{01. Basics} and select \code{Blink}.
+\item Go to \code{Files}, \code{Examples}, \code{01. Basics} and select \code{Blink}.
       This program allows to blink the LED on the Nano.
 \item Press the \code{Upload} butter and you should see the {\em sketch} work
 (that's how the Arduino community call their programs).