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) > > 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. I wonder why you don't see the GRUB menu when booting the USB normally. Do you get a five second blank screen before the kernel loads? Worst case scenario, you can install Guix (not necessarily GuixSD) on some other system and generate a new USB image that adds 'nomodeset': $ wget https://git.savannah.gnu.org/cgit/guix.git/plain/gnu/system/install.scm ...make some changes... $ guix system disk-image install.scm ...then dd the resulting store item onto a USB drive as usual. Hope this helps!