Re: Where is grubx64.efi

[Bhasker C V]

Very quick reply.Thanks


On Tue, Mar 29, 2016 at 4:00 PM, Nicolas George <geo...@nsup.org> wrote:
> 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

Re: Where is grubx64.efi

[Nicolas George]

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


signature.asc
Description: Digital signature

Where is grubx64.efi

[Bhasker C V]

Hi

 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

also dpkg -S does not return positive results about the owner of this package.

Please could someone tell me how this file gets into my system

Thanks
Bhasker C V