Follow-up Comment #1, bug #66200 (group grub): This bug is solved by this patch:
https://lore.kernel.org/grub-devel/[email protected]/ It indeed solved my immediate problem. But I still believe that ideally we should do some more fundamental fix. Ideally whatever Gerd Hoffmann proposed here: https://lore.kernel.org/grub-devel/3boqeafidphhrxmbzc7ojp6a4ezwdcoxphjcwpaa2jlhgdpwkz@he4xf627vqik/ > Alternatively you can check for conflicts. Check which physical device > backs efi_gop, block that from being used by grub drivers. Same for > all other device types. > The latter would handle the corner case that there is hardware which is > (a) supported by grub, and (b) not supported by the firmware, and (c) > essential to boot the system. Not sure how relevant that is in > practice, most EFI firmware I've seen recently is pretty complete when > it comes to hardware support. NIC drivers are missing sometimes, iPXE > to the rescue ;) So I will keep this bug opened _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?66200> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
signature.asc
Description: PGP signature
