[bootlin/training-materials updates] master: yocto: Update custom machine for -DK1 board (6073481a)

[Maxime Chevallier]

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

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

commit 6073481a4c4f0812aee13ba1d582a6f2e5e9e25d
Author: Maxime Chevallier <maxime.chevallier at bootlin.com>
Date:   Tue Sep 24 15:38:13 2019 +0200

    yocto: Update custom machine for -DK1 board
    
    Signed-off-by: Maxime Chevallier <maxime.chevallier at bootlin.com>


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

6073481a4c4f0812aee13ba1d582a6f2e5e9e25d
 labs/yocto-custom-machine/yocto-custom-machine.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/labs/yocto-custom-machine/yocto-custom-machine.tex b/labs/yocto-custom-machine/yocto-custom-machine.tex
index 5bbc97e6..b71bdfaa 100644
--- a/labs/yocto-custom-machine/yocto-custom-machine.tex
+++ b/labs/yocto-custom-machine/yocto-custom-machine.tex
@@ -53,7 +53,7 @@ This \code{bootlinlabs} machine needs:
     Micro to work properly:
 \begin{verbatim}
 BOOTSCHEME_LABELS += "trusted"
-STM32MP_DT_FILES_DK += "stm32mp157c-dk2"
+STM32MP_DT_FILES_DK += "stm32mp157c-dk1"
 ST_KERNEL_LOADADDR   = "0xC2000040"
 FLASHLAYOUT_CONFIG_LABELS += "sdcard"
 \end{verbatim}