[Top][All Lists]

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

Re: efi dual boot issue

From: jbranso
Subject: Re: efi dual boot issue
Date: Sat, 16 Jan 2021 02:22:04 +0000


What kind of hardware do you have?  Laptop? Desktop?  What processor?

That kind of information would be helpful.  

Also, note that I have never dual booted GNU/Linux and windows.  I just use 
GNU.  I think your problem amounts to configuring the bootloader section 
in config.scm incorrectly. 

There are two ways to boot up a computer: bios mode or EFI.

Note: Unsure whether to use EFI- or BIOS-based GRUB? If the directory 
exists in the installation image, then you should probably perform an EFI 
using grub-efi-bootloader. Otherwise you should use the BIOS-based GRUB, known 
grub-bootloader. See Bootloader Configuration, for more info on bootloaders. 

When you boot up the installation image does the director "/sys/firmware/efi"
exist?  If so, then you are booting via EFI, and you should follow the 
in the manual via EIF installation:  namely you need an EFI partition:

mkfs.fat -F32 /dev/sda1; 

And you need to specify this EFI partition in your

   (type "vfat")  
   (mount-point "/boot/sda1")
   (device "/dev/sda1"))

And you need to use the EFI bootloader in config.scm:

 (bootloader (bootloader-configuration
                (bootloader grub-efi-bootloader)
                (target "/boot/efi")))

If this is a bios only install, then you need to use the bios bootloader in 
your config:

  (bootloader grub-bootloader)
  (target "/dev/sda"))

Does that help?



January 15, 2021 4:24 PM, "kevinbanjo" <> wrote:

> Hi everyone. I'm trying to install a dual boot with windows 10 btrfs root
> GuixSD and I have a catch 22 I can't figure out how to resolve:
> When I go to generate the system it says that grub-install didn't work (I
> can't remember exactly why and I was in console mode so I couldn't
> copy/paste the error but the gist of it was that it was because I booted in
> bios mode).
> I had to go into bios and disable my legacy boot and windows still boots
> but I can't boot the GuixSD USB ISO.
> It's an HP laptop and when I hit ESC during boot and select boot options it
> walks me thru the EFI boot files and I picked both the boot files and it
> just returns to the boot menu.
> I also tried hard resetting my laptop (unplugging it, pulling out the
> battery and holding the power button down for a while) plus booting windows
> into recovery mode and letting it try and fix the boot (which probably only
> did the windows one as that was the only one that showed up) and still
> nothing.
> How do I build an EFI boot if I can't boot GuixSD ISO as EFI?
> TIA,
> -Kevin

reply via email to

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