Qu’est-ce que vmlinuz dans Linux

Après avoir lu le tutoriel sur initrd.img, vous cherchez des informations sur le fichier vmlinuz que l’on peut trouver dans le répertoire /boot de Linux.
A quoi correspond ce fichiers dans Linux ? Quel est son rôle ?

Là aussi, ce tutoriel vous dit pour savoir à quoi sert ce fichier et qu’est-ce que vmlinux.

Qu’est-ce que vmlinuz ?

vmlinuz est un noyau Linux compressé, et il est bootable. Bootable signifie qu’il est capable de charger le système d’exploitation en mémoire afin que l’ordinateur devienne utilisable et que les programmes et applications puissent être exécutés.

vmlinuz ne doit pas être confondu avec VMLinux, qui est le noyau sous une forme non compressée et non bootable. VMLinux n’est généralement qu’une étape intermédiaire pour produire le fichier vmlinux.

vmlinuz dans le répertoire /boot

Le fichier vmlinuz est situé dans le répertoire /boot, qui est le répertoire qui contient les fichiers nécessaires pour commencer à démarrer le système.
Le fichier nommé vmlinuz pourrait être l’exécutable du noyau réel lui-même, ou il pourrait être un lien vers l’exécutable du noyau, qui pourrait porter un nom tel que /boot/vmlinuz-5.45.0-46 (c’est-à-dire le nom du spécifique version du noyau).
Cela peut être facilement déterminé en utilisant la commande ls (dont le but est de répertorier le contenu d’un répertoire spécifié) avec son option -l (qui indique à LS de fournir des informations détaillées sur chaque objet dans le répertoire spécifié) comme suit:

ls -l /boot

Si vmlinuz est un fichier ordinaire (y compris un exécutable), les informations à son sujet dans la première colonne commencent par un trait d’union. S’il s’agit d’un lien symbolique, il commencera par la lettre l.

Comment est créé le fichier vmlinuz ?

Le fichier vmlinuz est créé à la fin de la phase de compilation du noyau Linux.
Pour cela, on utilise la commande :

make bzImage

Le fichier est alors placé dans le répertoire  /usr/src/linux/arch/<architecture>/linux/boot/
L’utilisateur doit le copier dans le dossier /boot, éventuellement avec le fichier initrd.
Enfin il doit modifier la configuration du chargeur de démarrage (GRUB, rEFInd, Syslinux, etc) pour pouvoir démarrer sur le kernel linux fraichement compilé.