From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 18 05:31:53 2019 Received: (at submit) by debbugs.gnu.org; 18 Mar 2019 09:31:53 +0000 Received: from localhost ([127.0.0.1]:48087 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h5ocb-0005YE-9X for submit@debbugs.gnu.org; Mon, 18 Mar 2019 05:31:53 -0400 Received: from eggs.gnu.org ([209.51.188.92]:54653) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h5ocZ-0005Xq-O7 for submit@debbugs.gnu.org; Mon, 18 Mar 2019 05:31:52 -0400 Received: from lists.gnu.org ([209.51.188.17]:43363) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1h5ocU-0000s3-GG for submit@debbugs.gnu.org; Mon, 18 Mar 2019 05:31:46 -0400 Received: from eggs.gnu.org ([209.51.188.92]:40233) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h5ocT-00033p-DS for bug-guix@gnu.org; Mon, 18 Mar 2019 05:31:46 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-0.0 required=5.0 tests=BAYES_20 autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1h5oOX-0001A1-EY for bug-guix@gnu.org; Mon, 18 Mar 2019 05:17:22 -0400 Received: from lepiller.eu ([89.234.186.109]:47364) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1h5oOW-00019I-Ru for bug-guix@gnu.org; Mon, 18 Mar 2019 05:17:21 -0400 Received: from webmail.lepiller.eu (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id 4da5a286 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Mon, 18 Mar 2019 09:17:14 +0000 (UTC) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Mon, 18 Mar 2019 10:17:14 +0100 From: Julien Lepiller To: bug-guix@gnu.org Subject: guix cannot find a module on boot Message-ID: <813466538d530a38bddf60ed348cb75b@lepiller.eu> X-Sender: julien@lepiller.eu User-Agent: Roundcube Webmail/1.3.8 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 89.234.186.109 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi! 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)) 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! 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.