From mboxrd@z Thu Jan  1 00:00:00 1970
From: Julien Lepiller <julien@lepiller.eu>
Subject: bug#34902: guix cannot find a module on boot
Date: Mon, 18 Mar 2019 22:34:04 +0100
Message-ID: <20190318223404.1b3c06b9@lepiller.eu>
References: <813466538d530a38bddf60ed348cb75b@lepiller.eu>
	<87o967lxsa.fsf@gnu.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([209.51.188.92]:37234)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1h5zuU-0007e6-Ov
	for bug-guix@gnu.org; Mon, 18 Mar 2019 17:35:07 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1h5zuT-0001LV-JD
	for bug-guix@gnu.org; Mon, 18 Mar 2019 17:35:06 -0400
Received: from debbugs.gnu.org ([209.51.188.43]:35747)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1h5zuS-0001Kj-Uo
	for bug-guix@gnu.org; Mon, 18 Mar 2019 17:35:05 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1h5zuR-0006r8-BO
	for bug-guix@gnu.org; Mon, 18 Mar 2019 17:35:04 -0400
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.34902.B34902.155294485726265@debbugs.gnu.org>
In-Reply-To: <87o967lxsa.fsf@gnu.org>
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix/>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: Ludovic =?UTF-8?Q?Court=C3=A8s?= <ludo@gnu.org>
Cc: 34902@debbugs.gnu.org

Le Mon, 18 Mar 2019 21:42:29 +0100,
Ludovic Court=C3=A8s <ludo@gnu.org> a =C3=A9crit :

> Hi Julien,
>=20
> Julien Lepiller <julien@lepiller.eu> skribis:
>=20
> > I've installed the Guix system on my cubietruck yesterday, but had
> > some difficulties. At first, the root partition was not available at
> > boot, so I got a repl with a message saying that /dev/mmcblk0p1 was
> > not available. I added the following to my guix config file:
> >
> > (initrd-modules (cons "sunxi_mmc" %base-initrd-modules)) =20
>=20
> Didn=E2=80=99t =E2=80=98guix system init=E2=80=99 suggest adding this mod=
ule?  Could it be
> that this module was actually built-in in the kernel you booted?

I couldn't find it in the output of lsmod, so I think it was builtin.

>=20
> > although the guix system command worked, the produced system still
> > couldn't boot, but this time the message was that guix was unable to
> > find sunxi_mmc.ko. Using the repl I could confirm that this module
> > was indeed here, but under the name sunxi-mmc.ko. Using
> > load-linux-module*, I was able to confirm that loading it made the
> > filesystem available in /dev. In the end this line:
> >
> > (initrd-modules (cons "sunxi-mmc" %base-initrd-modules))
> >
> > was the right line to add, and I could properly boot my
> > cubietruck! =20
>=20
> Phewww.
>=20
> > The bug here is that guix should either be smarter and load
> > sunxi-mmc.ko when it can't find sunxi_mmc.ko, or not allow me to
> > build a system when I specify sunxi_mmc since it doesn't exist at
> > boot time. =20
>=20
> This underscore vs. hyphen thing is terrible.
>=20
> In commit fcd068e984078ab74c6842af2525bf88096cd262 we fixed the initrd
> builder so it would try both file underscore and hyphen.
>=20
> But now I suppose we need to do the same in =E2=80=98load-linux-module*=
=E2=80=99?

I guess so :)

>=20
> Thanks,
> Ludo=E2=80=99.