[bootlin/training-materials updates] master: Upgrade to Ubuntu 20.04 for the kernel course (e86c1309)

[Michael Opdenacker]

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

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

commit e86c1309a49d5812ea49e1d78a6f1c24355b11c8
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Fri Oct 23 11:54:04 2020 +0200

    Upgrade to Ubuntu 20.04 for the kernel course
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


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

e86c1309a49d5812ea49e1d78a6f1c24355b11c8
 agenda/linux-kernel-agenda.tex    | 2 +-
 agenda/linux-kernel-fr-agenda.tex | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/agenda/linux-kernel-agenda.tex b/agenda/linux-kernel-agenda.tex
index af6beb8f..dc60b6eb 100644
--- a/agenda/linux-kernel-agenda.tex
+++ b/agenda/linux-kernel-agenda.tex
@@ -96,7 +96,7 @@ Embedded Linux kernel and driver development training\\
     installed in a {\bf free partition of at least 20 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/linux-kernel-fr-agenda.tex b/agenda/linux-kernel-fr-agenda.tex
index a8c367cc..27558790 100644
--- a/agenda/linux-kernel-fr-agenda.tex
+++ b/agenda/linux-kernel-fr-agenda.tex
@@ -101,7 +101,7 @@ Session de 5 jours
     moins 8 Go de RAM et Ubuntu Linux installé dans une {\bf partition
     dédiée d'au moins 20 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.