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
