Você precisa adicionar um novo script ao diretório /etc/grub.d/
ou editar a regra existente ( 10_linux
provavelmente no seu caso). No entanto, esteja ciente de que essas ferramentas automáticas têm algumas limitações, por isso tenho certeza de que, se você começar a jogar com o GRUB mais cedo ou mais tarde, editará /boot/grub/grub.cfg
diretamente, como um método mais flexível.
Se você está bem com a adição de uma nova entrada de menu para o kernel em particular, provavelmente o mais fácil é editar /etc/grub.d/40_custom
e adicionar algo como
menuentry "Kernel 4.9" {
set root='hd0,gpt2'
linux /vmlinuz-4.9 root=/dev/sda1 ro init=/usr/lib/systemd/systemd
}
Altere as configurações e os parâmetros do kernel para o seu, olhe para o seu atual grub.cfg
para verificá-los. Você também pode precisar adicionar outras linhas como initrd
ou se livrar de systemd
se não usá-lo.