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

["Martin Husemann via gnats" <gnats-admin%NetBSD.org@localhost>]

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

From: Martin Husemann <martin%duskware.de@localhost>
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 07:28:02 +0200

 On Thu, Oct 09, 2025 at 11:45:00PM +0000, thorpej%me.com@localhost wrote:
 > On a Dell XPS 13 9380, UEFI boot mode enabled, secure boot disabled,
 > a USB stick with the NetBSD-11-beta install image written to it does
 > not appear in the F12-accessed boot menu.
 
 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?
 
 Martin