Bug#1114695: (no subject)

To: 1114695@bugs.debian.org
Subject: Bug#1114695: (no subject)
From: remasch@gmx.de
Date: Thu, 25 Sep 2025 08:29:18 +0200
Message-id: <[🔎] e4d1c248348c69cdb63787b74e5522e9f3c59122.camel@gmx.de>
Reply-to: remasch@gmx.de, 1114695@bugs.debian.org
In-reply-to: <20250924052652.203e58a4@host>
References: <[🔎] 732655e41f8f62f5c188f7ffa47be6c2dfcf525b.camel@gmx.de> <20250924052652.203e58a4@host> <[🔎] 732655e41f8f62f5c188f7ffa47be6c2dfcf525b.camel@gmx.de>

So is this a kernel or UEFI issue?
If it’s a kernel issue, should it be reported upstream?

Reply to:

References:
- Bug#1114695: System not booting with Debian 13 Live ISO (GNOME) and after upgrading from Debian 12
  - From: remasch@gmx.de

Prev by Date: Bug#1111027: NMI: IOCK error (debug interrupt?) for reason 71 on CPU 0
Next by Date: Processed: reassign 1116125 to src:linux
Previous by thread: Bug#1114695:
Next by thread: Bug#1114695: System not booting with Debian 13 Live ISO (GNOME) and after upgrading from Debian 12
Index(es):
- Date
- Thread