Hi ALUG,
I recently upgraded my Debian unstable system and it included the 3.8 Linux kernel. There seem to be some problems with this kernel and my wireless network card. So I just want to set the old 3.2 kernel as the default boot option for now. However, setting:
GRUB_DEFAULT=2
in /etc/default/grub and running update-grub seems not to have taken effect (the 3.8 kernel still gets booted).
I notice GRUB now seems to have a new initial menu with just two options (paraphrased): "Boot Debian"; "Advanced Options". Selecting Advanced Options presents the more familiar list of kernels to boot. Where did this new menu come from? Could it be interfering with my GRUB_DEFAULT=2 option? Is there a way to remove it? Or any other suggestions why my default kernel option may not be working?
Thanks, Richard