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

[Jos Vos]

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.

Thx,

--
--    Jos Vos 
--    X/OS Experts in Open Systems BV   |   Phone: [phone]
--    Amsterdam, The Netherlands        |     Fax: [phone]