[Pkg-raspi-maintainers] Bug#865069: Bug#865069: uncompress kernel images

[Michael Stapelberg]

Sorry for the long radio silence.

On Thu, Jun 22, 2017 at 2:58 AM, Martin Schitter <ms at mur.at> wrote:
> On 2017-06-19 11:39, Michael Stapelberg wrote:
>>
>> Could you supply a tested patch which accomplishes this please? I only
>> use the Debian kernel images. Thanks.
>
>
> you can find a workaround for this issue at:
>
> https://gitlab.com/mash_graz/raspi3-firmware/commit/c91645aea40c545d3c4a1cdab5fa8899abc8ceb7
>
> i finally didn't use extract-vmlinux from the kernel scripts, because it
> doesn't work for arm kernels (see:
> https://patchwork.kernel.org/patch/8120831/), but the 7zip solution also
> doesn't without flaws.

Can you clarify what that means? What are the flaws? Is this ready to
merge or not?

Could you lower the Depends on 7zip-full to a Recommends in the
interest of reducing the size of the Raspberry Pi images please? The
code would need to be changed in such a way that it works both with
7zip present and not present.

>
> there is also another fix in this branch, to update /boot/firmware on kernel
> remove.
>
> https://gitlab.com/mash_graz/raspi3-firmware/commit/c206b21e56390d9eed4ef6ddf13621d743c81c91

I included a modified version of this patch in the 1.20171006-1 upload.


-- 
Best regards,
Michael