Hi Lucia,

Lucia Bollenbach <[email protected]> writes:

> I'm tried to install GNU Guix System 1.4.0 x86_64, but ran into an issue. 
> I've downloaded the ISO from https://guix.gnu.org/en/download/, and used the 
> commands listed in the reference manual (dd & sync) to copy the ISO to an 8 
> GB Kingston USB. When trying to boot into the USB, it is not available in the 
> boot menu.
>
> Some additional info:
> - UEFI, not legacy BIOS.
> - Tried first using Ventoy, but ran into the "/ventoy/busybox/sh: can't 
> access tty; job control turned off" issue.
>
> I can provide more info if needed.

Are you sure you don't have secure boot enabled?

Regards
Rutherther

Reply via email to