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