Sat Jul 12, 2025 5:41 pm
How do I upgrade my Debian install when a new kernel is released?
I can install `linux-image-arm64` just fine, but that puts the kernel only inside `/boot` where it's not used AFAICT when booting (instead the kernel used for boot seems to be hardcoded to the one in `/dev/mmcblk2p4`).
I can install `linux-image-arm64` just fine, but that puts the kernel only inside `/boot` where it's not used AFAICT when booting (instead the kernel used for boot seems to be hardcoded to the one in `/dev/mmcblk2p4`).