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

2020-04-08 Thread Marius Bakke
Amar Singh 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

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

2020-04-08 Thread Amar Singh via Bug reports for GNU Guix
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. Thanks, Amar Sent with ProtonMail Secure Email. ‐‐‐ Original Message ‐‐‐ On Tuesday, April 7, 2020 1:29 PM, Marius Bakke wrote: > amar

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

2020-04-07 Thread Marius Bakke
amar writes: > 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"

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

2018-03-08 Thread Danny Milosavljevic
Hi, thank you for the report! This is definitely a problem. It seems that the Linux kernel already started up so this is not a bootloader problem but rather a problem with the Linux kernel. There have been lots and LOTS of amdgpudrmfb changes in the Linux kernel lately - but our GuixSD release

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

2018-03-08 Thread amar
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