Andrés Becerra Sandoval <andres.bece...@gmail.com> writes: > If you put the kernels in /boot with proper names and launch: > > grub2-mkconfig -o /boot/grub/grub.cfg > > Grub will set up the kernels for you.
How do you then choose which one to boot by default? I normally run hardened-sources but also want to occasional boot (eg test) the latest gentoo-sources kernel which is often a higher version than the latest hardened one. So I might have (in /boot) vmlinuz-3.12.6-hardened-r4 vmlinuz-3.12.8-hardened vmlinuz-3.12.8-hardened-r1 vmlinuz-3.13.0-gentoo-r1 grub2-mkconfig will set the highest version as the default (ie without manual menu selection) to boot. I would like to configure it so that the default is the latest -hardened.
