On Wed, Dec 4, 2013 at 10:23 AM, Jos Vos <jos@xxxxxx> 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 _______________________________________________ arm mailing list arm@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/arm