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.
(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.