On Wed, 8 Dec 2021 at 12:01, <bradbell@seanet.com> wrote:
I have have installed
      sudo dnf install kernel-5.15.6-200.fc35
and it completes without error.

Where did you see instructions to do this?

The problem is that I do not see the new kernel as an option during system boot.

This is the expected result from the above command.  Installing a new kernel needs
a bunch of steps (see below) so is not as simple as you appear to think.

When I execute the command
     ls /boot | grep '^vm'
I see
    vmlinuz-5.14.10-300.fc35.x86_64
but I do not see an entry for kernel-5.16.6.

Check "dnf info kernel-5.15.6-200.fc35".  If it shows under the heading
"Installed Packages", then "rpm -qil kernel-5.15.6-200.fc35".  You should get

Name        : kernel
Version     : 5.15.6
Release     : 200.fc35
Architecture: x86_64
Install Date: Tue 07 Dec 2021 05:50:18 PM
Group       : Unspecified
Size        : 0
License     : GPLv2 and Redistributable, no modification permitted
Signature   : RSA/SHA256, Wed 01 Dec 2021 01:30:01 PM, Key ID db4639719867c58f
Source RPM  : kernel-5.15.6-200.fc35.src.rpm
Build Date  : Wed 01 Dec 2021 09:22:23 AM
Build Host  : bkernel01.iad2.fedoraproject.org
Packager    : Fedora Project
Vendor      : Fedora Project
URL         : https://www.kernel.org/
Bug URL     : https://bugz.fedoraproject.org/kernel
Summary     : The Linux kernel
Description :
The kernel meta package
(contains no files)


https://fedoraproject.org/wiki/GRUB_2#Instructions_for_UEFI-based_systems
I have tried uninstalling and reinstalling the new kernel, but that has not fixed the problem.

What should I do to get the option to boot the new kernel ?

The easy way is to use "dnf update".  The hard way is

usage agrees with current manual pages).  I think Fedora 35 should use grubby, not grub2-mkconfig for UEFI systems.

--
George N. White III