[bootlin/training-materials updates] master: Use Ubuntu 20.04 in the embedded Linux course (8dfe86db)

[Michael Opdenacker]

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

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

commit 8dfe86dbe02e0b95d8570d4f66a672181476f31d
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Wed Jun 17 15:07:37 2020 +0200

    Use Ubuntu 20.04 in the embedded Linux course
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

8dfe86dbe02e0b95d8570d4f66a672181476f31d
 agenda/embedded-linux-4d-agenda.tex          | 2 +-
 agenda/embedded-linux-4d-fr-agenda.tex       | 2 +-
 agenda/embedded-linux-agenda.tex             | 2 +-
 agenda/embedded-linux-fr-agenda.tex          | 2 +-
 labs/sysdev-tinysystem/sysdev-tinysystem.tex | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/agenda/embedded-linux-4d-agenda.tex b/agenda/embedded-linux-4d-agenda.tex
index eac98552..c6916182 100644
--- a/agenda/embedded-linux-4d-agenda.tex
+++ b/agenda/embedded-linux-4d-agenda.tex
@@ -97,7 +97,7 @@ Embedded Linux system development training\\
     installed in a {\bf free partition of at least 30 GB. Using Linux
       in a virtual machine is not supported}, because of issues
     connecting to real hardware.
-    \item We need Ubuntu Desktop 18.04 (Xubuntu and
+    \item We need Ubuntu Desktop 20.04 (Xubuntu and
     other variants are fine). We don't support other
     distributions, because we can't test all possible package versions.
     \item {\bf Connection to the Internet} (direct or through the
diff --git a/agenda/embedded-linux-4d-fr-agenda.tex b/agenda/embedded-linux-4d-fr-agenda.tex
index c2db765f..68c72084 100644
--- a/agenda/embedded-linux-4d-fr-agenda.tex
+++ b/agenda/embedded-linux-4d-fr-agenda.tex
@@ -99,7 +99,7 @@ Travaux pratiques sur carte ARM STM32MP157A-DK1 Discovery Board. \\
     moins 8 Go de RAM et Ubuntu Linux installé dans une {\bf partition
     dédiée d'au moins 30 Go. L'utilisation de Linux dans une machine virtuelle
     n'est pas supportée}, en raison de problèmes avec la connexion au matériel.
-    \item Nous avons besoin d'Ubuntu Desktop 18.04 (Xubuntu et autres
+    \item Nous avons besoin d'Ubuntu Desktop 20.04 (Xubuntu et autres
     variantes fonctionnent également). Nous ne supportons pas d'autres
     distributions, car nous ne pouvons tester toutes les versions des
     paquets.
diff --git a/agenda/embedded-linux-agenda.tex b/agenda/embedded-linux-agenda.tex
index 3e5db7ba..86548a0b 100644
--- a/agenda/embedded-linux-agenda.tex
+++ b/agenda/embedded-linux-agenda.tex
@@ -98,7 +98,7 @@ Embedded Linux system development training\\
     installed in a {\bf free partition of at least 30 GB. Using Linux
       in a virtual machine is not supported}, because of issues
     connecting to real hardware.
-    \item We need Ubuntu Desktop 18.04 (Xubuntu and
+    \item We need Ubuntu Desktop 20.04 (Xubuntu and
     other variants are fine). We don't support other
     distributions, because we can't test all possible package versions.
     \item {\bf Connection to the Internet} (direct or through the
diff --git a/agenda/embedded-linux-fr-agenda.tex b/agenda/embedded-linux-fr-agenda.tex
index 278f4361..c661c729 100644
--- a/agenda/embedded-linux-fr-agenda.tex
+++ b/agenda/embedded-linux-fr-agenda.tex
@@ -104,7 +104,7 @@ Travaux pratiques avec une carte ARM. \\
     moins 8 Go de RAM et Ubuntu Linux installé dans une {\bf partition
     dédiée d'au moins 30 Go. L'utilisation de Linux dans une machine virtuelle
     n'est pas supportée}, en raison de problèmes avec la connexion au matériel.
-    \item Nous avons besoin d'Ubuntu Desktop 18.04 (Xubuntu et autres
+    \item Nous avons besoin d'Ubuntu Desktop 20.04 (Xubuntu et autres
     variantes fonctionnent également). Nous ne supportons pas d'autres
     distributions, car nous ne pouvons tester toutes les versions des
     paquets.
diff --git a/labs/sysdev-tinysystem/sysdev-tinysystem.tex b/labs/sysdev-tinysystem/sysdev-tinysystem.tex
index f45e2d8e..fd99e191 100644
--- a/labs/sysdev-tinysystem/sysdev-tinysystem.tex
+++ b/labs/sysdev-tinysystem/sysdev-tinysystem.tex
@@ -138,7 +138,7 @@ filesystem and finally make it usable.
 Download the sources of the latest BusyBox 1.31.x release.
 
 To configure BusyBox, we won't be able to use \code{make xconfig},
-which is currently broken for BusyBox in Ubuntu 18.04,
+which is currently broken for BusyBox in Ubuntu 20.04,
 because it requires an old version of the Qt library.
 
 So, let's use \code{make menuconfig}.