default kernel

[Bruno Wolff III]

On Mon, Aug 18, 2014 at 15:04:53 -0400,
  Tom Horsley <horsley1953 at gmail.com> wrote:
>On Mon, 18 Aug 2014 07:59:53 -0500
>Bruno Wolff III wrote:
>
>> Normally whether to use the lastest or previous kernel by default is
>> set in /etc/sysconfig/kernel.
>
>Well, I finally got a chance to check that file and it says:
>
>UPDATEDEFAULT=yes
>DEFAULTKERNEL=kernel-core
>
>Not sure what the kernel-core setting means, but it definitely
>looks as if UPDATEDEFAULT=yes was ignored.

If you were using a PAE kernel, it would have had kernel-PAE-core (or 
kernel-PAE). This matters if you have both PAE and non-PAE kernels 
installed. (Previously SMP kernels used to be available as well.) It 
says which varient should be used for the default boot.