Am 25.06.2013 00:14, schrieb Arthur Dent:
On Tue, 2013-06-25 at 00:06 +0200, poma wrote:
> On 24.06.2013 22:35, Arthur Dent wrote:
> …
>
>> What did I do wrong - and how do I get it to default to my working
>> kernel?
> …
>
> rpm -q kernel
> ll /boot
# rpm -q kernel
package kernel is not installed
so what about "yum install kernel"?
you should get the last recent which should be 3.9.5
and grubby usually add it to the grub-menu
rpm -q kernel
kernel-3.9.5-101.fc17.x86_64