Where is grubx64.efi

From	Bhasker C V <bhasker@unixindia.com>
Newsgroups	linux.debian.user
Subject	Where is grubx64.efi
Date	2016-03-29 16:00 +0200
Message-ID	<ri2lB-72M-11@gated-at.bofh.it> (permalink)
Organization	linux.* mail to news gateway

Show all headers | View raw

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

Back to linux.debian.user | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Where is grubx64.efi Bhasker C V <bhasker@unixindia.com> - 2016-03-29 16:00 +0200
  Re: Where is grubx64.efi Nicolas George <george@nsup.org> - 2016-03-29 16:10 +0200
    Re: Where is grubx64.efi Bhasker C V <bhasker@unixindia.com> - 2016-03-29 16:10 +0200

csiph-web