Re: grub not properly installing in GuixSD

2017-07-28 Thread Joshua Branson
I’ve successfully installed guixSD! Awesome! Yeah, when I booted the usb stick, I DID see the guixSD grub menu. I had been blindly pushing “c” for going to the command prompt, instead of pushing “e” to edit the boot command. I pressed “e” added “nomodeset” and boom. I’m now properly bootin

Re: grub not properly installing in GuixSD

2017-07-25 Thread Marius Bakke
Joshua Branson writes: > Yup. That's correct. I am asking about how to modify > > > set root=(hd0,msdos1)(I think this is the vfat system) > > chainloader (${root})/efi/boot/name-of-efi-file.efi > > boot > > > to something like > > > set root=(hd0,msdos1)(I think this is the vfat system

Re: grub not properly installing in GuixSD

2017-07-24 Thread Joshua Branson
Yup. That's correct. I am asking about how to modify set root=(hd0,msdos1)(I think this is the vfat system) chainloader (${root})/efi/boot/name-of-efi-file.efi boot to something like set root=(hd0,msdos1)(I think this is the vfat system) chainloader (${root})/efi/boot/name-of-efi

Re: grub not properly installing in GuixSD

2017-07-23 Thread Ricardo Wurmus
Joshua Branson writes: > 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. The kernel arguments should go into the operating syste

Re: grub not properly installing in GuixSD

2017-07-22 Thread Joshua Branson
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 mem

Re: grub not properly installing in GuixSD

2017-07-18 Thread Marius Bakke
Joshua Branson writes: > BUT to be sure, I entered my bios and now my computer will only boot in UEFI > mode. When I tell my computer to boot via the usb (using UEFI and booting > GuixSD), it fails to boot at some point. Here’s some of the last entries: > > snd_hda_codec_realtex hdaudioC1D0:

Re: grub not properly installing in GuixSD

2017-07-18 Thread Joshua Branson
I believe the board and APU came out around 2014. The cpu is an AMD AM1. The mother board is the gigabyte AM1M-S2H. The specification for that board is here: https://www.gigabyte.com/Motherboard/GA-AM1M-S2H-rev-10#sp On the BIOS column it says: 1 x 32 Mbit flash. Does that mean that the fi

Re: grub not properly installing in GuixSD

2017-07-17 Thread Marius Bakke
Joshua Branson 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

Re: grub not properly installing in GuixSD

2017-07-17 Thread Joshua Branson
I do actually have swap devices in the config file. I just didn’t want to re-write the entire config file. :) That is true. I do have /dev/sda1 tagged as bootable and as esp. parted p shows /dev/sda1 flags: boot, esp file system fat32, Size 537MB And you are seeing that missing pare

grub not properly installing in GuixSD

2017-07-17 Thread Joshua Branson
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-