diff --git a/Tp2.md b/Tp2.md
index 9439554..b0fd51d 100644
--- a/Tp2.md
+++ b/Tp2.md
@@ -601,9 +601,11 @@ Et le up à la fin de la commande devrait indiquer à l'intreface de s'allumer.
 
 Il faut ensuite config l'interface de notre board rappel :`picocom --b 115200 /dev/ttyUSB0`
 
-`editenv ipaddr` ensuite je la set à 192.168.1.201
-`editenv serverip` ensuite je la set à 192.168.1.202
-`editenv ethaddr` set à 00:01:02:03:04:05
+`editenv ipaddr` ensuite je la set à 192.168.1.201`
+
+`editenv serverip` ensuite je la set à 192.168.1.202`
+
+`editenv ethaddr` set à 00:01:02:03:04:05`
 
 NE PAS OUBLIER DE FAIRE UN SAVEENV !!
 
diff --git a/Tp3.md b/Tp3.md
index 9f8f114..b6d0d50 100644
--- a/Tp3.md
+++ b/Tp3.md
@@ -97,6 +97,13 @@ et ensuite sans le --dry-run
 
 et voila, normalement on devrait avoir un linux 6.6.56 prêt à être compilé.
 
+On peut verifier avec la commande `make kernelversion`
+
+```
+make kernelversion
+6.6.56
+```
+
 ## Préparation à la compilation croisée du noyau
 
 On n'oublie pas de mettre notre variable d'environnement ARCH sur arm
@@ -525,4 +532,3 @@ voici le script `update_dtb`
 (avant de run ce script pour la première fois il faut faire un premier tftp du dtb puis `setenv dtb_size ${filesize}` car le script a besoin que cette variables soit set au moins une fois)
 
 Pour faire simple dans ces deux scripts on commence par tftp le nouveau kernel, si et seulement si cela marche alors on supprime le contenu de la NAND de la taille de l'ancien kernel (important de sauvegarder la valeur de l'ancien kernel car le tftp va overwrite l'ancienne valeur de filesize) ensuite on sauve la taille de ce nouveau kernel et on va le flasher dans la NAND.
-