[bootlin/training-materials updates] master: Boot time labs - hardware measurement - add missing detail (ad878fa3)

[Michael Opdenacker]

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

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

commit ad878fa352ae3073d20cbfcce046a40f6304400e
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Tue May 28 05:54:24 2019 +0200

    Boot time labs - hardware measurement - add missing detail
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

ad878fa352ae3073d20cbfcce046a40f6304400e
 .../boot-time-hardware-measurement.tex                        | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

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 becc95da..17ee14db 100644
--- a/labs/boot-time-hardware-measurement/boot-time-hardware-measurement.tex
+++ b/labs/boot-time-hardware-measurement/boot-time-hardware-measurement.tex
@@ -67,7 +67,16 @@ the module, and the \code{D3} pin to the \code{DIO} pin of the module:
 \end{center}
 
 Now, let's test your wiring by loading the sketch in
-\code{~/boot-time-labs/arduino/test-7segment/}. Upload and run it.
+\code{~/boot-time-labs/arduino/test-7segment/}. Upload and try to run it.
+
+Oops, a library is missing. You could have retrieved it through the
+IDE's library manager (\code{Tools}, \code{Manage Libraries}), but in
+this case, we absolutely need its latest version. So, go to
+\url{https://github.com/Seeed-Studio/Grove_4Digital_Display},
+download a zip file and extract this archive into
+\code{~/Arduino/libraries/}. Rename \code{Grove_4Digital_Display-master}
+to \code{Grove_4Digital_Display} (removing the \code{-master} suffix
+added by GitHub, and you should be ready to go.
 
 \section{Configuring Bone Black pins as GPIOs}