Tuto 3 done

tutorial/3/installation.md

@@ -1,13 +1,12 @@
-\newpage
-
 Prérequis
-=========
+---------
 
-## Noyau Linux
+### Noyau Linux
 
-Ce TP requiert un noyau Linux, dans sa version 3.8 au minimum. Il doit de plus
-être compilé avec les options suivantes (lorsqu'elles sont disponibles pour
-votre version) :
+Pour pouvoir suivre les exemples et faire les exercices qui suivent, vous aurez
+besoin d'un noyau Linux récent (une version 5.x sera très bien). Il doit de
+plus être compilé avec les options suivantes (lorsqu'elles sont disponibles
+pour votre version) :
 
 <div lang="en-US">
 ```
@@ -31,7 +30,7 @@ General setup  --->
 </div>
 
 
-### Vérification via `menuconfig`
+#### Vérification via `menuconfig`\
 
 L'arbre ci-dessous correspond aux options qui seront *built-in* (signalées par
 une `*`) ou installées en tant que module (signalées par un `M`). En effet,
@@ -42,7 +41,7 @@ Pour parcourir l'arbre des options du noyau, il est nécessaire d'avoir les
 sources de celui-ci. Les dernières versions stables et encore maintenues sont
 disponibles sur la page d'accueil de <https://kernel.org>.
 
-Dans les sources, on affiche la liste des options avec la commande :
+Dans les sources, on affiche la liste des options avec la commande :
 
 <div lang="en-US">
 ```bash
@@ -51,7 +50,7 @@ make menuconfig
 </div>
 
 
-### Vérification via `/boot/config-xxx`
+#### Vérification via `/boot/config-xxx`\
 
 Les distributions basées sur Debian ont pour habitude de placer le fichier de
 configuration ayant servi à compiler le noyau et ses modules dans le dossier
@@ -60,7 +59,7 @@ fichiers initial (`initramfs-xxx`) et des symboles de débogage
 `System.map-xxx`.
 
 Ce fichier répertorie toutes les options qui ont été activées. Par rapport à
-l'arbre présenté ci-dessus, vous devriez trouver :
+l'arbre présenté ci-dessus, vous devriez trouver :
 
 <div lang="en-US">
 ```
@@ -81,7 +80,7 @@ CONFIG_CGROUP_NET_CLASSID=y
 </div>
 
 
-### Vérification via `/proc/config.gz`
+#### Vérification via `/proc/config.gz`\
 
 Dans la plupart des autres distributions, la configuration est accessible à
 travers le fichier `/proc/config.gz`. Comme vous ne pouvez pas écrire dans
@@ -91,12 +90,12 @@ Vous devez retrouver les mêmes options que celles de la section précédente.
 
 
 
-## Présence des en-têtes
+### Présence des en-têtes
 
 Si vous utilisez un noyau standard fourni par votre distribution, les options
 requises seront a priori déjà sélectionnées et vous n'aurez donc pas à compiler
-votre propre noyau. Néanmoins, durant ce TP, nous allons nous interfacer avec
-le noyau, il est donc nécessaire d'avoir les en-têtes de votre noyau.
+votre propre noyau. Néanmoins, nous allons nous interfacer avec le noyau, il
+est donc nécessaire d'avoir les en-têtes de votre noyau.
 
 Sous Debian, vous pouvez les installer via le paquet au nom semblable à
 `linux-headers`. Le paquet porte le même nom sous Arch Linux et ses dérivés.