bug#30751: closed (Fw: [Issue] GuixSD won't boot in UEFI mode)

[GNU bug Tracking System]

Your message dated Wed, 08 Apr 2020 18:46:01 +0200
with message-id <address@hidden>
and subject line Re: bug#30751: Fw: [Issue] GuixSD won't boot in UEFI mode
has caused the debbugs.gnu.org bug report #30751,
regarding Fw: [Issue] GuixSD won't boot in UEFI mode
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
30751: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=30751
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: Fw: [Issue] GuixSD won't boot in UEFI mode Date: Thu, 08 Mar 2018 07:28:54 -0500

Hi,

I have an issue with guixSD installation.

I tried to install GuixSD 0.14 x86_64 on my machine. The installation media didn't boot in the uefi mode which is to say the startup messages showed this is the error message:

"fb: switching to amdgpudrmfb from EFI VGA"

So i couldn't get any futher. But surprisingly the bios mode booted fine.

I have an AMD Ryzen 1600 CPU, RX580 GPU and 8 GBs of RAM.

https://gist.github.com/radamar/c98765c27ba318f6be087941da6a8e96

I would like to run guixSD on my main computer.

thanks,

amar

--- End Message ---

--- Begin Message --- Subject: Re: bug#30751: Fw: [Issue] GuixSD won't boot in UEFI mode Date: Wed, 08 Apr 2020 18:46:01 +0200 User-agent: Notmuch/0.29.3 (https://notmuchmail.org) Emacs/26.3 (x86_64-pc-linux-gnu)

Amar Singh <address@hidden> writes:

> Hi Marius,
>
> This is quite old. Happy camper on GuixSD these days! :)
> I haven't tested 1.0.1 ISOs but 1.0.1 runs fine.
>
> I think the bug can be closed.

Cool, thanks for confirming.  Closing the issue!  :-)

signature.asc
Description: PGP signature

--- End Message ---