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