Subject: bug#30311: efi-less grub install fails

From: Ricardo Wurmus <[email-masked]>
Date: Tue, 20 Feb 2018 22:40:35 +0100

Hi Danny,

>> This change breaks my mips64el-linux GuixSD system, which is supported
>> by GRUB, but where "--target=i386-pc" is obviously not appropriate.  On
>> my system I need a different 'target' setting.
>
> A pretty safe workaround is to substitute /sys/firmware/efi by /sys/firmware/non-efi
> in ./grub-core/osdep/linux/platform.c for non-efi grub.

I don’t understand this patch.  How does it work?

What is the effect of replacing /sys/firmware/efi with
/sys/firmware/non-efi?

-- 
Ricardo

GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
https://elephly.net