I need to update my kernel, and I am having trouble reconciling information I find with how my system is actually organized. All I did was download the standalone micro-SD card image a few months ago from the latest-images page.
So this is a Debian system, and looking at various instruction pages, programs, and examples, it seems the kernel is supposed to come in a linux-image-XXX Debian package. But my system has no such package today.
Also, it appears my boot partition is expected to be mounted at /boot, but it’s actually mounted at /boot/uboot, so there’s another reason that the update-kernel.sh program ostensibly can’t work for me.
Why the differences?
Thanks for any light anyone can shed on this.