[bootlin/training-materials updates] master: debugging: labs: debugging-kernel-debugging: Reword a sentence (fd472909)

Herve Codina herve.codina at bootlin.com
Thu Nov 17 15:40:11 CET 2022

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


commit fd4729096cca96589de3869d23c1d0511d4d1551
Author: Herve Codina <herve.codina at bootlin.com>
Date:   Thu Nov 17 15:38:42 2022 +0100

    debugging: labs: debugging-kernel-debugging: Reword a sentence
    Signed-off-by: Herve Codina <herve.codina at bootlin.com>


 labs/debugging-kernel-debugging/debugging-kernel-debugging.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/labs/debugging-kernel-debugging/debugging-kernel-debugging.tex b/labs/debugging-kernel-debugging/debugging-kernel-debugging.tex
index 2703df07..a723bfa2 100644
--- a/labs/debugging-kernel-debugging/debugging-kernel-debugging.tex
+++ b/labs/debugging-kernel-debugging/debugging-kernel-debugging.tex
@@ -204,9 +204,9 @@ STM32MP> boot
 Once done, we'll need to configure the kernel to be booted on crash using kexec.
-We will use the same image than currently running on the platform to do so. In
-order to allow that, we will need to mount the sdcard boot partition that
-contains the zImage and dtb:
+We will use the same kernel image for both the currently running one and the one
+booted on crash. In order to do that, we will need to mount the sdcard boot
+partition that contains the zImage and dtb:
 mount -t ext4 /dev/mmcblk0p4 /mnt/

More information about the training-materials-updates mailing list