Hello,

I’m currently trying to dual boot Arch Linux and GuixSD on a desktop machine that I built.  GuixSD seems to be installing well, but grub in not properly installing.  I’m trying to boot using grub-efi.


After I run guix system init /mnt/etc/bare-bones.scm  /mnt


I get this error:


grub-install: error: /gnu/store/ipwgwqaarp304r82…….-grub-efi-2.02/lib/grub/i386-pc/modinfo.sh doesn’t exist.  Please specify —target or —directory.

guix system: error: failed to install GRUB on device /dev/sda1


I believe that for some reason guixSD is install guix in a BIOS way.  At least that’s what this ask ubuntu forum says:   https://askubuntu.com/questions/763472/what-can-i-do-to-fix-this-error-on-grub-efi/763746   Apparently grub should be trying to install via X86_64….

Now here’s detail about my set up.


parted p
/dev/sda1     500MB or so     vfat partition.
/dev/sda2     20 GB  Arch root
/dev/sda3    1GB swap
/dev/sda4    /home    for both Arch and GuixSD
/dev/sda5   /   for GuixSD.

The partition table is using GPT.


Arch linux is already installed.  It boots using UEFI, but Arch mounts /dev/sda1  to /boot.

I booted guixSD via a usb-stick.  I believe that I booted in BIOS mode.  I was unable to get the usbstick to boot via UEFI.

mount /dev/sda5 /mnt

mkdir -p /mnt/boot/efi

mount /dev/sda1 /mnt/boot/efi

mkdir /mnt/home

mount /dev/sda4 /mnt/home

swapon /dev/sda3


Then I ran guix system init.

I don’t want to completely copy out my config file  (that would take a while), but here’s the gist of it.  At least the parts that deal with UEFI boot:

(use-modules (gnu) (gnu system nss))
...
(use-package-modules bootloaders  admin certs gnome)
…
(boot loader (grub-configuration
                        (grub grub-efi)
                        (device “/dev/sda1”)
                        ….
(file-systems (cons*  (file-system
                                     (device “my-root”)   ;; //this is /dev/sda5
                                     (title ‘label)
                                     (mount-point “/“)
                                      (type “ext4”))
                                   (file-system
                                      (mount-point “/home”
                                      (device “/dev/sda4”)
                                      (type “ext4”))
                                    (file-system
                                       (device “/dev/sda1”)
                                       (mount-point “/boot/efi”)
                                       (type “vfat”))
                                   %base-file-systems))



I’m using a AMD CPU.  1TB hard drive.  And I don’t think there is much more that I can say at this point.   Is there a specific guix command to try to install grub?  What command would I run to install grub on /dev/sda1 so that it boots GuixSD?

Thanks,

Joshua