diff --git a/packages/linux/package.mk b/packages/linux/package.mk index baa7d36bb1..3d2ebef66a 100644 --- a/packages/linux/package.mk +++ b/packages/linux/package.mk @@ -282,6 +282,12 @@ makeinstall_target() { fi done elif [ "${BOOTLOADER}" = "bcm2835-bootloader" ]; then + # RPi firmware will decompress gzipped kernels prior to booting + if [ "${TARGET_KERNEL_ARCH}" = "arm64" ]; then + pigz --best --force ${INSTALL}/.image/${KERNEL_TARGET} + mv ${INSTALL}/.image/${KERNEL_TARGET}.gz ${INSTALL}/.image/${KERNEL_TARGET} + fi + mkdir -p ${INSTALL}/usr/share/bootloader/overlays # install platform dtbs, but remove upstream kernel dtbs (i.e. without downstream