Merge pull request #6632 from antonlacon/rpi-compress-arm64

linux: gzip 64bit kernels on RPi
This commit is contained in:
Matthias Reichl 2022-06-21 16:26:32 +02:00 committed by GitHub
commit 1dab0c63dd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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