The officially official Devuan Forum!

steve_graham

Member

Registered: 2024-05-13

Posts: 4  

Upgrading kernel via apt

About a year ago, I got a Pi 4 and wrote the community-built Devuan image onto its SD card, booted, and everything worked perfectly.

I thought it was time to upgrade to a 7.x kernel and used apt to install the linux-image package and its dependencies. No problems. But when I rebooted, the system was still running the 6.x kernel.

On inspection, it seems that the original SD image has its kernel in the /boot vfat partition as kernel8, and the apt install didn't touch it.

So, clearly, I don't understand how the Pi boot process is supposed to work on a Devuan system. Is the executable in the /boot partition supposed to be a loader that boots the real kernel from the second, ext4 partition?

Or have I just done something stupid? (Quite possible.)