Hi Daniel, Daniel Lakeland <[email protected]> writes:
> waiting for partition 'UUID-HERE' to appear.... > > and then drops into the guile REPL. > > I thought it might be because the initrd doesn't have the required > modules, so I scrolled through the dmesg when it boots off USB and > decided perhaps sdhci and rpmb_core are required and added this to the > definition of the image: > > (initrd-modules (cons* "sdhci" "rpmb_core" %base-initrd-modules)) > > But it still does the same thing. > > Any ideas? How can I find out what modules are loaded from the guile > repl it drops into? or get an "ls" of /dev/ or anything like that? > Some suggestions would be helpful. The problem is likely a missing driver, as you guessed. Running ‘guix system reconfigure’ (even with ‘--dry-run’ IIRC) on the machine would diagnose missing initrd modules, so that’s one way to do it. You could also peruse ‘lsmod’ output on the system running on the machine, or manually run: (use-modules (gnu build linux-modules)) (missing-modules "/dev/mmcblk0" '()) from the REPL, as root, on that system. HTH! Ludo’.
