Re: grub not properly installing in GuixSD

[Joshua Branson <bransoj@hotmail.com>]

     So some new updates:


I can properly boot guixSD in UEFI from the grub command prompt! Aka I 
chainload the operating system.  Unfortunately I do not know how to 
chainload the OS and pass a kernel argument.  I need to pass nomodeset.

So I booted GuixSD in UEFI mode via (I'm writing from memory.  I think 
this is the command I used):


set root=(hd0,msdos1)    (I think this is the vfat system)

chainloader (${root})/efi/boot/name-of-efi-file.efi

boot


Now the guixSD image boots just fine, BUT it fails when it tries to load 
in raedon driver.  Is there a way to specify linux kernel boot 
parameters?  Apparently you can when you load the kernel. aka linux 
(hd0,1)/path-to-linux nomodeset


BUT I don't know where the linux kernel is on the usbstick.


On 07/17/2017 05:47 PM, Marius Bakke wrote:
> Joshua Branson <bransoj@hotmail.com> writes:
>
>> 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….
> Indeed. The error above indicates GRUB could not detect a UEFI system
> and falls back to BIOS (i386-pc), but can't find the required files.
>
>> 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.
> Looks good.
>
>> 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.
> How old is your system, and in particular the mainboard? Do you know the
> brand/model? I wonder if this is one of those famous systems with 32-bit
> firmware and 64-bit CPU.
>
> Is the GuixSD install image detected if you disable legacy BIOS support
> altogether in your firmware? If not, can you test if the i686
> installation image works?