Upgrade to Ubuntu 20.04 for the kernel course

Signed-off-by: Michael Opdenacker <michael.opdenacker@bootlin.com>
bootlin · Oct 23, 2020 · e86c130 · e86c130
1 parent 40241d7
commit e86c130
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/agenda/linux-kernel-agenda.tex b/agenda/linux-kernel-agenda.tex
@@ -96,7 +96,7 @@
     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
@@ -101,7 +101,7 @@
     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.