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-file.efi

linux (hd0,msdos1)/path/to/vm-linuz-libre    ?

boot


But thanks for reminding me about disabling modesetting.  If I can't boot the usbstick via modesetting, then I probably need to change my config to disable it as well.  Otherwise I'll successfully install guixSD and grub, but the boot process will fail when it tries to load the raedon driver.


Don't worry too much about trying to find a solution for me.  Worst case scenerio, I think that I can unstill grub.  Install systemd-boot again, modify the boot parameters via systemd-boot boot menu, boot guixSD from the usb stick.  Uninstall systemd-boot, install grub, and reboot and we should be golden....But If I can figure out how to just use grub properly, that'd be nicer. haha.  I think grub comes with a search command, but I haven't really figured out how to use it, and that search command may just be for finding the root filesystem.


On 07/23/2017 08:39 AM, Ricardo Wurmus wrote:


Joshua Branson <bransoj@hotmail.com><mailto:bransoj@hotmail.com> 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 system configuration
file.  There’s a field “kernel-arguments”, which is just a list of
strings.

Here’s an example:

--8<---------------cut here---------------start------------->8---
(operating-system
  …
  (kernel-arguments
   '("iomem=relaxed"     ; Needed for using flashrom
     "zswap.enabled=1"   ; compressed RAM cache for swap devices
     "vm.swappiness=100" ; NOTE: only use this with zswap!
     ))
…)
--8<---------------cut here---------------end--------------->8---



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



Oh, this is still about booting the USB image?  The comment above is
about how to add extra arguments once you’ve already installed GuixSD.

--
Ricardo

GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
https://elephly.net