GNU bug report logs - #41780
UEFI bios not supported out of the box when burning to usb stick

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 41780 in the body.
You can then email your comments to 41780 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: romulasry <romulasry <at> protonmail.com>
To: "bug-guix <at> gnu.org" <bug-guix <at> gnu.org>
Subject: UEFI bios not supported out of the box when burning to usb stick
Date: Wed, 10 Jun 2020 01:03:18 +0000

[Message part 1 (text/plain, inline)]

This would be a nice feature to have in the future when all there will be is UEFI (bioses).

Sent with [ProtonMail](https://protonmail.com) Secure Email.

[Message part 2 (text/html, inline)]

Message #8 received at 41780 <at> debbugs.gnu.org (full text, mbox):

From: Tobias Geerinckx-Rice <me <at> tobias.gr>
To: romulasry <romulasry <at> protonmail.com>
Cc: 41780 <at> debbugs.gnu.org
Subject: Re: bug#41780: UEFI bios not supported out of the box when burning to
 usb stick
Date: Wed, 10 Jun 2020 03:47:20 +0200

[Message part 1 (text/plain, inline)]

Welcome, Romulasry,

romulasry via Bug reports for GNU Guix 写道：
> This would be a nice feature to have in the future when all 
> there will be is UEFI (bioses).

UEFI is already supported.

Is this the latest Guix version (1.1.0)?  What kind of machine did 
you try it on, and which error (if any) did you get?  Does the 
same installer boot and run fine when booted in CSM (‘legacy’) 
mode?  Could you try a different model of USB drive (this once 
‘solved’ it for me)?

Kind regards,

T G-R

[signature.asc (application/pgp-signature, inline)]

Message #11 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: romulasry via Bug reports for GNU Guix <bug-guix <at> gnu.org>
Cc: romulasry <romulasry <at> protonmail.com>, 41780 <at> debbugs.gnu.org
Subject: Re: bug#41780: UEFI bios not supported out of the box when burning to
 usb stick
Date: Wed, 10 Jun 2020 09:23:53 -0400

Hello,

romulasry via Bug reports for GNU Guix <bug-guix <at> gnu.org> writes:

> This would be a nice feature to have in the future when all there will be is UEFI (bioses).

I've installed Guix on UEFI systems before; it should definitely work.
Could you provide more details on what you tried exactly and what errors
you've encountered?

Thanks,

Maxim

Message #17 received at 41780 <at> debbugs.gnu.org (full text, mbox):

From: Bengt Richter <bokr <at> bokr.com>
To: Tobias Geerinckx-Rice <me <at> tobias.gr>
Cc: romulasry <romulasry <at> protonmail.com>, 41780 <at> debbugs.gnu.org
Subject: Re: bug#41780: UEFI bios not supported out of the box when burning
 to usb stick
Date: Wed, 10 Jun 2020 22:53:07 +0200

On +2020-06-10 03:47:20 +0200, Tobias Geerinckx-Rice via Bug reports for GNU Guix wrote:
> Welcome, Romulasry,
> 
> romulasry via Bug reports for GNU Guix 写道：
> > This would be a nice feature to have in the future when all there will

maybe not all [1][2] :)
-- though GPT improves on MBR IMO,
but you don't absolutely need UEFI BIOS code to parse that.

The part, well one part :), I'm not clear on is format compatibility
for data stored in BIOS nvram -- e.g. efibootmgr/UEFI vs coreboot fs (CBFS)

> > be is UEFI (bioses).
> 
> UEFI is already supported.
>

Wondering, is coreboot[1] on anyone's radar in guix-land?

[1] https://www.coreboot.org/
[2] https://puri.sm/coreboot/

> Is this the latest Guix version (1.1.0)?  What kind of machine did you try
> it on, and which error (if any) did you get?  Does the same installer boot
> and run fine when booted in CSM (‘legacy’) mode?  Could you try a different
> model of USB drive (this once ‘solved’ it for me)?
> 
> Kind regards,
> 
> T G-R

-- 
Regards,
Bengt Richter

Message #20 received at 41780 <at> debbugs.gnu.org (full text, mbox):

From: Tobias Geerinckx-Rice <me <at> tobias.gr>
To: Bengt Richter <bokr <at> bokr.com>
Cc: romulasry <romulasry <at> protonmail.com>, 41780 <at> debbugs.gnu.org
Subject: Re: bug#41780: UEFI bios not supported out of the box when burning to
 usb stick
Date: Wed, 10 Jun 2020 23:12:35 +0200

[Message part 1 (text/plain, inline)]

Bengt Richter 写道：
> Wondering, is coreboot[1] on anyone's radar in guix-land?

There are more than a few Guixers who use it (or its derivative 
Libreboot).  It is also supported :-)

Kind regards,

T G-R

[signature.asc (application/pgp-signature, inline)]

Message #25 received at 41780-done <at> debbugs.gnu.org (full text, mbox):

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: 41780-done <at> debbugs.gnu.org
Cc: romulasry <at> protonmail.com
Subject: Re: bug#41780: UEFI bios not supported out of the box when burning
 to usb stick
Date: Tue, 10 Nov 2020 15:17:52 -0500

Hello,

Maxim Cournoyer <maxim.cournoyer <at> gmail.com> writes:

> Hello,
>
> romulasry via Bug reports for GNU Guix <bug-guix <at> gnu.org> writes:
>
>> This would be a nice feature to have in the future when all there will be is UEFI (bioses).
>
> I've installed Guix on UEFI systems before; it should definitely work.
> Could you provide more details on what you tried exactly and what errors
> you've encountered?

No news, and as mentioned up-thread, this is already supported.  Please
open a new issue with the details of what you tried if you still
encounter problems.

Closing.

Thank you!

Maxim

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.