Gentoo Archives: gentoo-user

From: Graham Murray <graham@×××××××××××.uk>
To: gentoo-user@l.g.o
Subject: Re: [gentoo-user] grub2 multiple kernels
Date: Sat, 25 Jan 2014 16:18:36
Message-Id: 87ob30xcfh.fsf@einstein.gmurray.org.uk
In Reply to: Re: [gentoo-user] grub2 multiple kernels by "Andrés Becerra Sandoval"
1 Andrés Becerra Sandoval <andres.becerra@×××××.com> writes:
2
3 > If you put the kernels in /boot with proper names and launch:
4 >
5 > ​ grub2-mkconfig -o /boot/grub/grub.cfg
6 >
7 > Grub will set up the kernels for you.
8
9 How do you then choose which one to boot by default? I normally run
10 hardened-sources but also want to occasional boot (eg test) the latest
11 gentoo-sources kernel which is often a higher version than the latest
12 hardened one. So I might have (in /boot)
13 vmlinuz-3.12.6-hardened-r4
14 vmlinuz-3.12.8-hardened
15 vmlinuz-3.12.8-hardened-r1
16 vmlinuz-3.13.0-gentoo-r1
17
18 grub2-mkconfig will set the highest version as the default (ie without
19 manual menu selection) to boot. I would like to configure it so that the
20 default is the latest -hardened.

Replies

Subject Author
Re: [gentoo-user] grub2 multiple kernels Mike Gilbert <floppym@g.o>