NetBSD Problem Report #59699

From www@netbsd.org  Thu Oct  9 23:44:07 2025
Return-Path: <www@netbsd.org>
Received: from mail.netbsd.org (mail.netbsd.org [199.233.217.200])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256
	 client-signature RSA-PSS (2048 bits) client-digest SHA256)
	(Client CN "mail.NetBSD.org", Issuer "mail.NetBSD.org CA" (not verified))
	by mollari.NetBSD.org (Postfix) with ESMTPS id 12FEF1A923A
	for <gnats-bugs@gnats.NetBSD.org>; Thu,  9 Oct 2025 23:44:07 +0000 (UTC)
Message-Id: <20251009234405.C5C5D1A923C@mollari.NetBSD.org>
Date: Thu,  9 Oct 2025 23:44:05 +0000 (UTC)
From: thorpej@me.com
Reply-To: thorpej@me.com
To: gnats-bugs@NetBSD.org
Subject: NetBSD-11-beta install image (oct 7) on USB still does not appear as boot option on Dell XPS 13 9380
X-Send-Pr-Version: www-1.0

>Number:         59699
>Category:       install
>Synopsis:       NetBSD-11-beta install image (oct 7) on USB still does not appear as boot option on Dell XPS 13 9380
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    install-manager
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Oct 09 23:45:00 +0000 2025
>Last-Modified:  Fri Oct 10 05:45:01 +0000 2025
>Originator:     Jason Thorpe
>Release:        NetBSD-11-beta releng build oct 7
>Organization:
CISCy Business
>Environment:
N/A
>Description:
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.

Windows 11 sees the USB stick and that it has a GPT partition table.
>How-To-Repeat:
See above.
>Fix:
N/A

>Audit-Trail:
From: Martin Husemann <martin@duskware.de>
To: gnats-bugs@netbsd.org
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 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

From: mlelstv@serpens.de (Michael van Elst)
To: gnats-bugs@netbsd.org
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 ("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.

NetBSD Home
NetBSD PR Database Search

(Contact us) $NetBSD: query-full-pr,v 1.47 2022/09/11 19:34:41 kim Exp $
$NetBSD: gnats_config.sh,v 1.9 2014/08/02 14:16:04 spz Exp $
Copyright © 1994-2025 The NetBSD Foundation, Inc. ALL RIGHTS RESERVED.