On 2020-07-10 18:51, Mark Roberts wrote:
> Thanks Ed,
>
> The versions that I have installed (from the rpm command you mentioned are) : 
>
> kernel-devel-5.7.7-200.fc32.x86_64
> kernel-5.7.7-200.fc32.x86_64
> kernel-5.6.19-300.fc32.x86_64
> kernel-modules-5.6.6-300.fc32.x86_64
> kernel-5.6.6-300.fc32.x86_64
> kernel-core-5.6.19-300.fc32.x86_64
> kernel-core-5.6.6-300.fc32.x86_64
> kernel-modules-extra-5.6.19-300.fc32.x86_64
> kernel-modules-extra-5.7.7-200.fc32.x86_64
> kernel-headers-5.7.7-200.fc32.x86_64
> kernel-modules-5.6.19-300.fc32.x86_64
> kernel-core-5.7.7-200.fc32.x86_64
> kernel-modules-5.7.7-200.fc32.x86_64
> kernel-modules-extra-5.6.6-300.fc32.x86_64
>
> At the risk of asking a stupid question - How do I boot the kernel at 5.7.7 ?
>

Well, first of all, the install of a new kernel should have resulted in 
subsequent boots using the latest installed.

I think you may be running Fedora Workstation which now currently defaults to 
not showing the menu.
If that is the case, you can hit the escape key at the boot which will bring up 
the menu and allow you
to select kernel-5.7.7-200.




-- 
The key to getting good answers is to ask good questions.
_______________________________________________
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-le...@lists.fedoraproject.org
Fedora Code of Conduct: 
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 
https://lists.fedoraproject.org/archives/list/users@lists.fedoraproject.org

Reply via email to