[bootlin/training-materials updates] master: labs/sysdev-block-filesystems*: stop unmounting partitions that are not modified (d10c793c)

[Michael Opdenacker]

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

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

commit d10c793ce2def71ccaec64bd2e194c2c10fd02d7
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Mon Sep 11 20:56:38 2023 +0200

    labs/sysdev-block-filesystems*: stop unmounting partitions that are not modified
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

d10c793ce2def71ccaec64bd2e194c2c10fd02d7
 labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex  | 5 +----
 .../sysdev-block-filesystems-beagleplay.tex                         | 5 +----
 .../sysdev-block-filesystems-stm32.tex                              | 5 +----
 slides/sysdev-block-filesystems/sysdev-block-filesystems.tex        | 6 ++++--
 4 files changed, 7 insertions(+), 14 deletions(-)

diff --git a/labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex b/labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex
index b509fd59..5d258401 100644
--- a/labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex
+++ b/labs/sysdev-block-filesystems-bbb/sysdev-block-filesystems-bbb.tex
@@ -38,10 +38,7 @@ Now, check the contents of \code{/proc/filesystems}. You should see
 
 \section{Add partitions to the SD card}
 
-Plug the SD card in your workstation. If partitions are mounted,
-unmount them:
-
-\bashcmd{$ sudo umount /dev/mmcblk0p*}
+Plug the SD card in your workstation.
 
 Using \code{cfdisk /dev/mmcblk0}, add two partitions, starting from the beginning
 of the remaining space, with the following properties:
diff --git a/labs/sysdev-block-filesystems-beagleplay/sysdev-block-filesystems-beagleplay.tex b/labs/sysdev-block-filesystems-beagleplay/sysdev-block-filesystems-beagleplay.tex
index 6dd5676f..10bfda03 100644
--- a/labs/sysdev-block-filesystems-beagleplay/sysdev-block-filesystems-beagleplay.tex
+++ b/labs/sysdev-block-filesystems-beagleplay/sysdev-block-filesystems-beagleplay.tex
@@ -38,10 +38,7 @@ Now, check the contents of \code{/proc/filesystems}. You should see
 
 \section{Add partitions to the SD card}
 
-Plug the SD card in your workstation. If partitions are mounted,
-unmount them:
-
-\bashcmd{$ sudo umount /dev/mmcblk0p*}
+Plug the SD card in your workstation.
 
 Using \code{fdisk /dev/mmcblk0}, add two partitions, starting from the beginning
 of the remaining space, with the following properties:
diff --git a/labs/sysdev-block-filesystems-stm32/sysdev-block-filesystems-stm32.tex b/labs/sysdev-block-filesystems-stm32/sysdev-block-filesystems-stm32.tex
index 1bfc6e44..9c7707d0 100644
--- a/labs/sysdev-block-filesystems-stm32/sysdev-block-filesystems-stm32.tex
+++ b/labs/sysdev-block-filesystems-stm32/sysdev-block-filesystems-stm32.tex
@@ -38,10 +38,7 @@ Now, check the contents of \code{/proc/filesystems}. You should see
 
 \section{Add partitions to the SD card}
 
-Plug the SD card in your workstation. If partitions are mounted,
-unmount them:
-
-\bashcmd{$ sudo umount /dev/mmcblk0p*}
+Plug the SD card in your workstation.
 
 Using \code{parted /dev/mmcblk0}, add two partitions, starting from the beginning
 of the remaining space, with the following properties:
diff --git a/slides/sysdev-block-filesystems/sysdev-block-filesystems.tex b/slides/sysdev-block-filesystems/sysdev-block-filesystems.tex
index 7156c697..ecd162ba 100644
--- a/slides/sysdev-block-filesystems/sysdev-block-filesystems.tex
+++ b/slides/sysdev-block-filesystems/sysdev-block-filesystems.tex
@@ -474,7 +474,9 @@ $ mount /dev/loop2p2 /mnt/rootfs
   \begin{itemize}
   \item Creating further partitions on your SD card
   \item Booting a system with a mix of filesystems: {\em SquashFS} for
-    the root filesystem, {\em ext4} for configuration and user data, and {\em
-      tmpfs} for temporary system files.
+    the root filesystem, {\em ext4} for data, and {\em
+    tmpfs} for temporary system files.
+  \item Loading everything from the SD card, including
+    the kernel and device tree.
   \end{itemize}
 }