bug#41780: closed (UEFI bios not supported out of the box when burning to usb stick)

[GNU bug Tracking System]

Your message dated Tue, 10 Nov 2020 15:17:52 -0500
with message-id <878sb9ge4v.fsf@gmail.com>
and subject line Re: bug#41780: UEFI bios not supported out of the box when 
burning to usb stick
has caused the debbugs.gnu.org bug report #41780,
regarding UEFI bios not supported out of the box when burning to usb stick
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


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

--- Begin Message --- Subject: UEFI bios not supported out of the box when burning to usb stick Date: Wed, 10 Jun 2020 01:03:18 +0000

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

Sent with ProtonMail Secure Email.

--- End Message ---

> --- Begin Message ---
>
>
>
> 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
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
>
>
>
>
> Hello,
>
> Maxim Cournoyer <maxim.cournoyer@gmail.com> writes:
>
> > Hello,
> >
> > romulasry via Bug reports for GNU Guix <bug-guix@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
>
>
> --- End Message ---