Pregunta:
¿Cómo puedo elegir qué kernel debe cargar GRUB2 por defecto? Recientemente instalé un kernel en tiempo real de Linux y ahora se carga de forma predeterminada. Me gustaría cargar el normal por defecto.
Hasta ahora solo logré elegir el sistema operativo predeterminado … y por alguna razón el /boot/grub.cfg ya asume que quiero cargar el rt-kernel y ponerlo en la entrada del menú genérico de Linux (en mi caso Arch Linux) .
Respuesta:
Después de luchar durante 2 horas, encontré una manera mucho más fácil de lograrlo. Solo RTFM. 😉
Agregue dos líneas a / etc / default / grub
GRUB_SAVEDEFAULT=true
GRUB_DEFAULT=saved
Haga el sudo update-grub , reinicie, entre en su menú de grub y seleccione el elemento de menú o submenú que necesite. La elección se guardará cada vez y luego su computadora se iniciará automáticamente. Cuando eliges manualmente una entrada diferente, esa se convierte en la nueva entrada predeterminada.