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
