[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Where is grubx64.efi



Le decadi 10 germinal, an CCXXIV, Bhasker C V a écrit :
>  I have been trying to find out where does the grubx64.efi come from ?
> I have a system which is EFI boot. I can see that after grub-install
> /boot/efi/x86_64-efi/core.efi is created and this is copied as
> efi/EFI/debian/grubx64.efi
> 
> What I am failing to understand is where does this core.efi come from ? I
> went through all the packages in the netinstall cd but could not find
> a single package providing this file

grubx64.efi and other GRUB images are built by GRUB at install time,
embarking the requested optional modules.

You can reproduce the same process invoking grub-mkimage explicitly.

Regards,

-- 
  Nicolas George

Attachment: signature.asc
Description: Digital signature


Reply to: