[bootlin/training-materials updates] master: Tinysystem lab: add requirement for CONFIG_DEVTMPFS_MOUNT (865ca226)

[Michael Opdenacker]

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

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

commit 865ca226f271158a70cbb8c260dc24588847cb3c
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Fri Jul 31 10:26:58 2020 +0200

    Tinysystem lab: add requirement for CONFIG_DEVTMPFS_MOUNT
    
    - We didn't have it in the vexpress_defconfig configuration
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

865ca226f271158a70cbb8c260dc24588847cb3c
 labs/sysdev-tinysystem/sysdev-tinysystem.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/labs/sysdev-tinysystem/sysdev-tinysystem.tex b/labs/sysdev-tinysystem/sysdev-tinysystem.tex
index 996e0f63..31f4332c 100644
--- a/labs/sysdev-tinysystem/sysdev-tinysystem.tex
+++ b/labs/sysdev-tinysystem/sysdev-tinysystem.tex
@@ -43,8 +43,8 @@ We will re-use the kernel sources from our previous lab, in
 
 In the kernel configuration built in the previous lab, verify that you
 have all options needed for booting the system using a root filesystem
-mounted over NFS, and if necessary, enable them and rebuild your
-kernel.
+mounted over NFS. Also check that \kconfig{CONFIG_DEVTMPFS_MOUNT} is
+enabled. If necessary, rebuild your kernel.
 
 \section{Setting up the NFS server}