[fedora-arm] How to use new kernel on BBB

[Peter Robinson]

On Wed, Dec 4, 2013 at 10:23 AM, Jos Vos <jos at xos.nl> wrote:
> Hi,
>
> How do I switch to using a new kernel on the BBB?
>
> After "yum update" I have installed:
>
> kernel-3.11.6-301.fc20.armv7hl
> kernel-3.11.9-300.fc20.armv7hl
>
> But according to "uname" it's still booting the old one.

grubby calls a-b-c which generates a new uboot script.

Peter