Le Mon, 18 Mar 2019 21:42:29 +0100, Ludovic Courtès a écrit : > Hi Julien, > > Julien Lepiller skribis: > > > 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)) > > Didn’t ‘guix system init’ suggest adding this module? 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. > > > 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! > > Phewww. > > > 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. > > This underscore vs. hyphen thing is terrible. > > In commit fcd068e984078ab74c6842af2525bf88096cd262 we fixed the initrd > builder so it would try both file underscore and hyphen. > > But now I suppose we need to do the same in ‘load-linux-module*’? I guess so :) > > Thanks, > Ludo’.