GNU bug report logs - #43186
Gzip-compressed kernel modules are not universally supported [was Re: ci.guix.gnu.org doesn’t boot]

Previous Next

Package: guix;

Reported by: Leo Famulari <leo <at> famulari.name>

Date: Thu, 3 Sep 2020 18:43:02 UTC

Severity: normal

Done: Leo Famulari <leo <at> famulari.name>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 43186 in the body.
You can then email your comments to 43186 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to bug-guix <at> gnu.org:
bug#43186; Package guix. (Thu, 03 Sep 2020 18:43:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Leo Famulari <leo <at> famulari.name>:
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Thu, 03 Sep 2020 18:43:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: bug-guix <at> gnu.org
Subject: Gzip-compressed kernel modules are not universally supported [was Re: ci.guix.gnu.org doesn’t boot]
Date: Thu, 3 Sep 2020 14:42:12 -0400

----- Forwarded message from Ludovic Courtès <ludo <at> gnu.org> -----
Leo Famulari <leo <at> famulari.name> skribis:
> I had been using the Guix kernel configs to build kernels for Debian
> systems, but this broke when we recently enabled GZIP compression of the
> kernel modules. Debian only supports XZ compressed modules.

Oh, sounds scary.  Do we have an open bug report for that?
----- End forwarded message -----

Here is the bug report.

I hadn't reported it because I didn't think that the Guix kernel configs
should be required to produce working kernels for other operating
systems.
Information forwarded to bug-guix <at> gnu.org:
bug#43186; Package guix. (Mon, 07 Sep 2020 09:59:01 GMT) Full text and rfc822 format available.

Message #8 received at 43186 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Leo Famulari <leo <at> famulari.name>
Cc: 43186 <at> debbugs.gnu.org
Subject: Re: bug#43186: Gzip-compressed kernel modules are not universally
 supported [was Re: ci.guix.gnu.org doesn’t boot]
Date: Mon, 07 Sep 2020 11:57:54 +0200

Hi Leo,

Leo Famulari <leo <at> famulari.name> skribis:

>> I had been using the Guix kernel configs to build kernels for Debian
>> systems, but this broke when we recently enabled GZIP compression of the
>> kernel modules. Debian only supports XZ compressed modules.

I think I had initially misread that: the config we have in Guix creates
kernels that won’t work for Debian, is that right?

If so, then it’s not-a-bug from our perspective, IMO.

Thanks and sorry for the noise!

Ludo’.
bug closed, send any further explanations to 43186 <at> debbugs.gnu.org and Leo Famulari <leo <at> famulari.name> Request was from Leo Famulari <leo <at> famulari.name> to control <at> debbugs.gnu.org. (Mon, 07 Sep 2020 18:38:03 GMT) Full text and rfc822 format available.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Tue, 06 Oct 2020 11:24:08 GMT) Full text and rfc822 format available.
This bug report was last modified 3 years and 193 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.