bug#34902: guix cannot find a module on boot

2019-08-16 Thread Ludovic Courtès
Hello! Danny Milosavljevic skribis: > Maybe I'm too paranoid but can we have "guix" in the file name "modules.name" > somewhere? Otherwise I see it coming that upstream uses modules.name for an > incompatible purpose and then we'd be with a guix interface that's broken > and/or break their inte

bug#34902: Guix cannot find a module on boot

2019-08-16 Thread Julien Lepiller
Hi Ludo, Your patch has a LGTM, but I don't see it on master. Would you like to push it, or is there a reason why you didn't do it yet? Thanks!

bug#34902: guix cannot find a module on boot

2019-04-04 Thread Danny Milosavljevic
Maybe I'm too paranoid but can we have "guix" in the file name "modules.name" somewhere? Otherwise I see it coming that upstream uses modules.name for an incompatible purpose and then we'd be with a guix interface that's broken and/or break their interface. (So much complexity for something so si

bug#34902: guix cannot find a module on boot

2019-03-22 Thread Ludovic Courtès
Hi Danny, Thanks for the explanation, I was unaware of all these subtleties… Danny Milosavljevic skribis: > Every time we want to lookup a module by modname, check a hashtable that > is built from modules.dep by: > > * let x-path be the first value of each modules.dep line. > * Then the key f

bug#34902: guix cannot find a module on boot

2019-03-18 Thread Danny Milosavljevic
> This underscore vs. hyphen thing is terrible. Yeah. But looking at kmod, it doesn't seem to be so bad for them. They basically always use the version with underscores as the lookup key for their internal hash tables. For alias resolving, they use a resolver for [a-zxxx] AND they replace dashe

bug#34902: guix cannot find a module on boot

2019-03-18 Thread Julien Lepiller
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 say

bug#34902: guix cannot find a module on boot

2019-03-18 Thread Ludovic Courtès
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

bug#34902: guix cannot find a module on boot

2019-03-18 Thread Julien Lepiller
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 "