27.03.2017 15:41, Colin Watson пишет: > I guess that the attached bug happens because grub_install_register_efi > is called on non-biosdisk-ish systems but uses > grub_util_biosdisk_get_osdev to get an OS device name for > efidir_grub_dev->disk, which isn't going to work so well. I'm a bit > rusty here - would anyone care to venture a guess at suitable > replacement code that would work on devices other than biosdisk? >
"biosdisk" here means "firmware device", not necessary BIOS. Where /boot/efi is located? Output of lsblk and "grub-probe -t device /boot/efi". _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
