So is this a kernel or UEFI issue? If it’s a kernel issue, should it be reported upstream?
- Bug#1114695: System not booting with Debian 13 ... remasch
- Processed: Re: Bug#1114695: System not boo... Debian Bug Tracking System
- Bug#1114695: System not booting with Debia... Salvatore Bonaccorso
- Bug#1114695: remasch
- Bug#1114695: System not booting with Debia... Bastian Blank
- Processed: Re: Bug#1114695: System not boo... Debian Bug Tracking System
- Bug#1114695: (no subject) remasch
