Re: grub not properly installing in GuixSD

[Marius Bakke <mbakke@fastmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1595 bytes --]

Joshua Branson <bransoj@hotmail.com> 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:
> ….
> [drm] radeon kernel modesetting enabled
> ….
> AMD IOMMUv2 driver by Joerg Roedel
> …
> CU CPU: cores=4 id_base=0
> …
> found cache entry in CRAT table with processor_id=1
> ...
> Creating topology SYSFS entries
> Finished initializing topology ret=0
> kfd kfd: Initialized module
> fb: switching to radeondrmfb from EFI VGA
>
> Then it hangs and does nothing more.   I’m assuming that it is has something to do with the APU, but I don’t know.  Actually, it could be that Arch Linux uses a vanilla kernel.  Perhaps the linux-libre kernel doesn’t ship with some certain needed proprietary firmware…actually I’m reading online on several places (online) that this is a problem with mode setting the radeon driver.  If I change the grub command line to disable modesetting, then I may be able to boot properly.   The problem is that I don’t see grub anywhere in my boot process.

There is a brief (5s?) window just after booting the USB where the GRUB
menu is shown with a GuixSD background, before Linux-Libre boots. You
can press 'e' there to add command-line arguments for the kernel.

If adding 'nomodeset' works, maybe we should do that by default. Kernel
mode-setting is arguably not that important for the install media.

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]