Bradley M. Kühn4d ago
😬 I reset my #Dasharo #Coreboot settings to default and now #Debian won't boot! It gives EFI error and shuts down.
My theory it isn't loading the right UEFI drivers as Debian installer did it; I don't have a Debian rescue USB drive.
It looks like I can Modify Driver Options in the firmware but unsure what to add.
IOW, I need to do in BIOS what
efibootmgr -v
grub-install --target=x86_64-efi --efi-directory=/boot/efi --bootloader-id=debian --recheck
#AskFedi
Cc: @novacustom @Dasharo
Show threadKen Milmore4d ago
@bkuhn You don't typically need "UEFI drivers" with Debian, the UEFI support is part of the stock kernel. Are you booting with grub or something else? First thing I'd try to work out is whether you are making it into the bootloader or not. You may have simply reset the path to the bootloader which is stored in UEFI nonvolatile memory. In such cases, it will usually default to loading the default bootx64.efi.
Show threadKen Milmore
@bkuhn Just saw your edit. On a "normal" EFI system you should be able to boot grub manually from the EFI shell, or from the fallback "removable storage" bootloader in BOOT/BOOTX64.EFI. If you have no access to installation media but you do have the internet, I suggest you find look up the UEFI shell and proceed that way.
Mar 24 at 9:37amWeb
Show threadBradley M. Kühn4d ago

@kbm0 this is Dasharo Coreboot so the UEFI shell is their BIOS, right?

Will add photos of that to this post shortly

Show threadKen Milmore4d ago
@bkuhn Since you now have grub working, you are probably past the UEFI shell stage. Try to use the grub shell to investigate the problem, and hopefully get the system to boot by editing the kernel command line if you can.