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
