Re: efi dual boot issue

2021-01-16 Thread jbranso
January 16, 2021 3:55 PM, "kevinbanjo" wrote: > > yeah, well, that's the crux of my problem. I turn off legacy (bios) boot in > the bios setup and > windows still boots just fine but I can no longer boot into the guix ISO. If > I hit escape when > booting I get a file browser asking me to

Re: efi dual boot issue

2021-01-16 Thread znavko
You can find some examples on github with 'guix config'. I have EFI Dual boot configuration here https://gitgud.io/znavko/guix-configs/-/blob/master/guix-config-dual-boot.scm bootloader field lookslike this: (bootloader (bootloader-configuration (bootloader

Re: efi dual boot issue

2021-01-15 Thread jbranso
Hello, 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

efi dual boot issue

2021-01-15 Thread kevinbanjo
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