[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: grub not properly installing in GuixSD

From: Joshua Branson
Subject: Re: grub not properly installing in GuixSD
Date: Sat, 22 Jul 2017 21:58:46 +0000

     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


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 <address@hidden> 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/ 
>> 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:   
>>    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?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]