Re: Where is grubx64.efi

2016-03-29 Thread Bhasker C V
Very quick reply.Thanks On Tue, Mar 29, 2016 at 4:00 PM, Nicolas George 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/

Re: Where is grubx64.efi

2016-03-29 Thread 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 > >

Where is grubx64.efi

2016-03-29 Thread 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