[bootlin/training-materials updates] master: labs: yocto-advanced-configuration-stm32: update the lab2 for Dunfell and DK2 (ed717770)

[Alexandre Belloni]

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

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

commit ed71777012e80ae95a24a48755acfead16b8560c
Author: Thomas Perrot <thomas.perrot at bootlin.com>
Date:   Sat Jun 12 10:29:05 2021 +0200

    labs: yocto-advanced-configuration-stm32: update the lab2 for Dunfell and DK2
    
    Signed-off-by: Thomas Perrot <thomas.perrot at bootlin.com>


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

ed71777012e80ae95a24a48755acfead16b8560c
 .../yocto-advanced-configuration-stm32.tex                  | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/labs/yocto-advanced-configuration-stm32/yocto-advanced-configuration-stm32.tex b/labs/yocto-advanced-configuration-stm32/yocto-advanced-configuration-stm32.tex
index f3763a06..42c36773 100644
--- a/labs/yocto-advanced-configuration-stm32/yocto-advanced-configuration-stm32.tex
+++ b/labs/yocto-advanced-configuration-stm32/yocto-advanced-configuration-stm32.tex
@@ -17,10 +17,8 @@ workstation files can be accessed by the target through the network,
 using NFS.
 
 First we need to set the kernel boot arguments U-Boot will pass to the
-Linux kernel at boot time. For that, edit the
-\code{mmc0_stm32mp157a-dk1_extlinux/extlinux.conf} file in the bootfs partition of the SD
-card and change the \code{APPEND} line for the
-\code{stm32mp157a-dk1-sdcard} configuration:
+Linux kernel at boot time. For that, edit the extlinux configuration file, in
+the bootfs partition of the SD card and change the \code{APPEND} line to:
 
 {\small
 \begin{verbatim}
@@ -28,6 +26,13 @@ APPEND root=/dev/nfs rw console=ttySTM0,115200 nfsroot=192.168.0.1:/nfs,vers=3,t
 \end{verbatim}
 }
 
+\begin{itemize}
+  \item For the \code{stm32mp157a-dk1-sdcard}, edit the
+        \code{mmc0_extlinux/extlinux.conf} file
+  \item For the \code{stm32mp157c-dk2-sdcard}, edit the
+        \code{mmc0_extlinux/stm32mp157c-dk2_extlinux.conf} file
+\end{itemize}
+
 \section{Set up the Ethernet communication on the workstation}
 
 With a network cable, connect the Ethernet port of your board to the