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 -- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines Have a question? Ask away: http://ask.fedoraproject.org
