[bootlin/training-materials updates] master: labs/sysdev-kernel-cross-compiling-stm32: adjust to use DK1 board (9bd6f4b3)

Thomas Petazzoni thomas.petazzoni at bootlin.com
Tue Jan 28 16:10:42 CET 2020

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


commit 9bd6f4b3aa614a66a9e774f71c8ff0c778d779dc
Author: Thomas Petazzoni <thomas.petazzoni at bootlin.com>
Date:   Tue Jan 28 16:10:42 2020 +0100

    labs/sysdev-kernel-cross-compiling-stm32: adjust to use DK1 board
    Signed-off-by: Thomas Petazzoni <thomas.petazzoni at bootlin.com>


 .../sysdev-kernel-cross-compiling-stm32.tex                       | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/labs/sysdev-kernel-cross-compiling-stm32/sysdev-kernel-cross-compiling-stm32.tex b/labs/sysdev-kernel-cross-compiling-stm32/sysdev-kernel-cross-compiling-stm32.tex
index cf60ad5e..125bfe6b 100644
--- a/labs/sysdev-kernel-cross-compiling-stm32/sysdev-kernel-cross-compiling-stm32.tex
+++ b/labs/sysdev-kernel-cross-compiling-stm32/sysdev-kernel-cross-compiling-stm32.tex
@@ -97,7 +97,7 @@ We will use TFTP to load the kernel image on the Discovery kit:
   \code{tftp 0xc0000000 zImage}
 \item Now, also load the DTB file into RAM at address 0xc4000000:\\
-  \code{tftp 0xc4000000 stm32mp157c-dk2.dtb}
+  \code{tftp 0xc4000000 stm32mp157a-dk1.dtb}
 \item Boot the kernel with its device tree:\\
   \code{bootz 0xc0000000 - 0xc4000000}
@@ -112,7 +112,7 @@ reset. Reset the board, and specify a different \code{bootcmd}:
-setenv bootcmd 'tftp 0xc0000000 zImage; tftp 0xc4000000 stm32mp157c-dk2.dtb; bootz 0xc0000000 - 0xc4000000'
+setenv bootcmd 'tftp 0xc0000000 zImage; tftp 0xc4000000 stm32mp157a-dk1.dtb; bootz 0xc0000000 - 0xc4000000'
@@ -126,7 +126,7 @@ previously.
 Insert the SD card in your PC, it will get auto-mounted. Copy the
 kernel and device tree:
-sudo cp arch/arm/boot/dts/stm32mp157c-dk2.dtb arch/arm/boot/zImage /media/training/boot/
+sudo cp arch/arm/boot/dts/stm32mp157a-dk1.dtb arch/arm/boot/zImage /media/training/boot/
 sudo umount /dev/mmcblk0p4
@@ -135,7 +135,7 @@ able to load the DTB and kernel image from the SD card and boot with:
 ext2load mmc 0:4 0xc0000000 zImage
-ext2load mmc 0:4 0xc4000000 stm32mp157c-dk2.dtb
+ext2load mmc 0:4 0xc4000000 stm32mp157a-dk1.dtb
 bootz 0xc0000000 - 0xc4000000

More information about the training-materials-updates mailing list