[coreboot] [coreboot - Bug #549] coreboot 24.05: SeaBIOS Windows 10/11 BSOD "ACPI BIOS ERROR" (Thinkpad W530)

2024-08-04 Thread Simon Dominic
Issue #549 has been updated by Simon Dominic. Simon Dominic wrote in #note-7: > Finally able to boot into edk2 - thanks a lot! Will test with Windows later. > > The only problem is I can't boot into my existing (Debian) Linux drive > encrypted with LUKS. > > Pictures of the errors provided. I

[coreboot] [coreboot - Bug #549] coreboot 24.05: SeaBIOS Windows 10/11 BSOD "ACPI BIOS ERROR" (Thinkpad W530)

2024-08-04 Thread Matt DeVillier
Issue #549 has been updated by Matt DeVillier. Simon Dominic wrote in #note-10: > I reinstalled Debian but I still get the same message (boot.jpg). However, I > have to manually boot from file `EFI/debian/grubx64.efi`. How can this be > fixed to boot from there automatically? Normally, the boo