Re: install/59699: NetBSD-11-beta install image (oct 7) on USB still does not appear as boot option on Dell XPS 13 9380

["Michael van Elst via gnats" <gnats-admin%NetBSD.org@localhost>]

The following reply was made to PR install/59699; it has been noted by GNATS.

From: mlelstv%serpens.de@localhost (Michael van Elst)
To: gnats-bugs%netbsd.org@localhost
Cc: 
Subject: Re: install/59699: NetBSD-11-beta install image (oct 7) on USB still does not appear as boot option on Dell XPS 13 9380
Date: Fri, 10 Oct 2025 05:41:33 -0000 (UTC)

 gnats-admin%NetBSD.org@localhost ("Martin Husemann via gnats") writes:
 
 > Sounds like a UEFI bug on that machine, can you boot it by explicitly
 > pointing at the /efi/boot/bootx64.efi file on the EFI partition?
 
 Or maybe just an UEFI setting. That machine has several knobs to
 control USB booting in the setup program.