On 25.06.2013 00:14, Arthur Dent wrote: …
# rpm -q kernel package kernel is not installed
ll /boot total 76176
…
OK, nice. For F17 try this one, rpm -qa kernel*
We can manually set the existing kernels via grubby or automatically with rpm/yum install. Pick one. I'll leave you with Joe if you don't mind, it's beauty sleep time. :)
poma