J'ai utilisé dpkg --list | grep linux-image
pour découvrir que j'ai les versions suivantes du noyau :
rc linux-image-4.18.0-15-generic 4.18.0-15.16~18.04.1 amd64 Signed kernel image generic
rc linux-image-4.18.0-25-generic 4.18.0-25.26~18.04.1 amd64 Signed kernel image generic
ii linux-image-5.0.0-23-generic 5.0.0-23.24~18.04.1 amd64 Signed kernel image generic
ii linux-image-5.0.0-25-generic 5.0.0-25.26~18.04.1 amd64 Signed kernel image generic
ii linux-image-generic-hwe-18.04 5.0.0.25.82 amd64 Generic Linux kernel image
Je veux ajouter 4.18.0-25 à Grub pour qu'il démarre dedans par défaut, mais je n'arrive pas à savoir où se trouvent ces noyaux pour pouvoir les ajouter à Grub ? Comment puis-je faire cela. En outre, après avoir identifié où se trouvent les fichiers image, dois-je seulement les copier dans /boot run. sudo update-grub
? Ou dois-je en faire plus ?