¿Cómo puedo elegir qué kernel GRUB2 debería cargar por defecto? Recientemente instalé un kernel de Linux en tiempo real y ahora se carga por defecto. Me gustaría cargar el normal por defecto. Hasta ahora solo pude elegir el sistema operativo predeterminado ... y, por alguna razón, /boot/grub.cfgya...