Hi Mark, > 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. See attachment... > In the rare cases where GRUB fails to detect the target, perhaps we > could provide a way to specify an explicit GRUB 'target' in the grub > configuration? I still think that upstream should fix this bug. It's silly that we have to massage grub to not select a target which grub wasn't compiled for - we patch/configure one part of grub so another part of grub isn't confused. It's the same package :P Bootloader configuration is complicated enough already. In this case I'd rather grub did the right thing automatically.