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
