Sorry for the long radio silence. On Thu, Jun 22, 2017 at 2:58 AM, Martin Schitter <m...@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
