Arne Babenhauserheide writes: > The error I receive: > > building /gnu/store/fyn1cmq9p38ipp5mlbx1z4gs84qd5jg4-install-bootloader.scm.drv... > Backtrace: > 1 (primitive-load "/root/.config/guix/current/bin/guix") > In guix/ui.scm: > 1936:12 0 (run-guix-command _ . _) > > guix/ui.scm:1936:12: In procedure run-guix-command: > ERROR: > 1. &message: "'/gnu/store/xlcbi7dc89n4wvyz4jk6j0g4590ymi6q-grub-efi-2.04/sbin/grub-install --boot-directory //boot --bootloader-id=Guix --efi-directory //boot/efi' exited with status 1; output follows:\n\n /gnu/store/xlcbi7dc89n4wvyz4jk6j0g4590ymi6q-grub-efi-2.04/sbin/grub-install: error: /gnu/store/xlcbi7dc89n4wvyz4jk6j0g4590ymi6q-grub-efi-2.04/lib/grub/i386-pc/modinfo.sh doesn't exist. Please specify --target or --directory.\n" This error suggests that you are attempting to use EFI GRUB on a non-EFI system. More specifically, you are using 'grub-efi-bootloader', but 'grub-efi' failed to detect a UEFI system and attempts to install the 'i386-pc' (BIOS) target instead, which does not exist in 'grub-efi'. Does that ring a bell?