[bootlin/training-materials updates] master: tinysystem lab: update bootargs setting (7dd0eec1)

[Michael Opdenacker]

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

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

commit 7dd0eec1a4a5cb8d19a879352a706cd38d5b2d17
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Wed Jul 29 15:17:48 2020 +0200

    tinysystem lab: update bootargs setting
    
    - To keep the console= setting previously set
      Did it in a way that doesn't depend on the board
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

7dd0eec1a4a5cb8d19a879352a706cd38d5b2d17
 labs/sysdev-tinysystem/sysdev-tinysystem.tex | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/labs/sysdev-tinysystem/sysdev-tinysystem.tex b/labs/sysdev-tinysystem/sysdev-tinysystem.tex
index 2e1367ed..996e0f63 100644
--- a/labs/sysdev-tinysystem/sysdev-tinysystem.tex
+++ b/labs/sysdev-tinysystem/sysdev-tinysystem.tex
@@ -82,10 +82,11 @@ First, boot the board to the U-Boot prompt. Before booting the kernel,
 we need to tell it that the root filesystem should be mounted over
 NFS, by setting some kernel parameters.
 
-Use the following U-Boot command to do so, {\bf in just 1 line}
+So add settings to the \code{bootargs} environment variable,
+{\bf in just 1 line}:
 
 \begin{verbatim}
-setenv bootargs root=/dev/nfs ip=192.168.0.100:::::eth0
+setenv bootargs ${bootargs} root=/dev/nfs ip=192.168.0.100:::::eth0
    nfsroot=192.168.0.1:/home/<user>/__SESSION_NAME__-labs/tinysystem/nfsroot,nfsvers=3,tcp rw
 \end{verbatim}