Linux Kernel component names have changed

[obbardc]

linux-image-raspi-armhf.xml has been split into two components bootloader-raspberrypi.xml and linux-image-raspberrypi-default.xml as per commit: 64studio/pdk-components-debian-testing@2c5598a

Note this will only be a problem when trying to pull fresh components.

[obbardc]

Also because of the new kernel image name, kernel= in /boot/config.txt will need to change.

The current package is kernel=vmlinuz-4.14.97-v7-raspberrypi-default but this will change depending on version, so we should pick it out of the package name

[danielhjames]

Hi @obbardc I thought the kernel= parameter was only required when loading an alternative kernel image. Can we load our custom kernel by default by renaming it to the default name such as kernel7.img?

[obbardc]

The official Raspbian images are built so the kernel is copied into /boot/kernel7.img.
This doesn't work all that well for when doing upgrades or keeping track of the versions of the copied files.

Other Linux distros since day dot have made their kernel images available under /boot/vmlinux-versioninfo.

When building the Linux Kernel into a debian pkg using make deb-pkg, the file structure of the package is like this. See https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/scripts/package/builddeb

So we will just need a postinst script for the kernel package to upgrade the kernel.
Will look into that.
Mode info: https://kernel-team.pages.debian.net/kernel-handbook/ch-update-hooks.html

[danielhjames]

How about the postinst creating /boot/kernel7.img as a symlink whenever the kernel package is upgraded?