Sorry to ask. I’m working on an ARM platform probably with uboot (I know petit boot is disabled).
Platform is Odroid N2+. Looking really nice Fedora is F35.
After performing a dnf update/upgrade I found a new kernel installed in the /boot folder.
Current kernel is 5.11
Other kernels present is 5.14
New kerenel is 5.16
However when rebooting the new kernel is not chosen. I’m not sure if grub2 is used for ARM platforms so the documentation doesn’t seem to be right (probably just me as I don’t have strong Fedora skills).
Can anyone advise me what needs to be configured on Fedora ARM to chose/select a different kernel to boot?
Do I need to use arm-boot-config to regenerate the boot.cmd?