[Pkg-raspi-maintainers] Bug#966503: raspi-firmware: /etc/kernel/postinst.d/z50-raspi-firmware should deal with compressed kernels
Lucas Nussbaum
lucas at debian.org
Wed Jul 29 15:12:36 BST 2020
Package: raspi-firmware
Version: 1.20200212-1
Hi,
the RPI4 cannot boot compressed kernels. So kernels in /boot/firmware/
must be uncompressed.
There are several ways how raspi-firmware could help with that:
- when coping kernels to /boot/firmware, it could check that the kernel
is not compressed, and issue an error if it is.
- better, it could uncompress kernels when copying them.
This is not a problem with the Debian kernel because they are shipped
uncompressed (apparently?). But it is a problem with kernels built with
'make bindeb-pkg' from upstream sources, that are compressed.
Lucas
More information about the Pkg-raspi-maintainers
mailing list