On Sat, 12 Jan 2019 at 07:55, Stefan Bethke <[email protected]> wrote: [...] > The UEFI man page has a good explanation of which files are involved in > booting: > https://www.freebsd.org/cgi/man.cgi?query=uefi&sektion=8&manpath=freebsd-release-ports > > I mounted the ESP and copied /boot/boot1.efi to > /boot/efi/EFI/BOOT/BOOTX64.EFI. Surprisingly, the new boot1.efi is much > smaller than what I had before (according to the timestamp from November), > but using that, booting seems to be restored. > > # grep efi /etc/fstab > /dev/ada0p2 /boot/efi msdos rw,noauto 0 0 > # mount /boot/efi > # ls -l /boot/efi/EFI/BOOT/BOOTX64.EFI /boot/efi/EFI/BOOT/bak/BOOTX64.EFI > -rwxr-xr-x 1 root wheel 81920 Jan 11 18:43 /boot/efi/EFI/BOOT/BOOTX64.EFI* > -rwxr-xr-x 1 root wheel 410112 Nov 25 16:27 > /boot/efi/EFI/BOOT/bak/BOOTX64.EFI*
While the uefi(8) man page suggests that boot1.efi should be used, loader.efi can also substituted. I believe the release images use loader.efi instead of boot1.efi, as it's slightly more efficient. Cheers. -- Jonathan Chen <[email protected]> _______________________________________________ [email protected] mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-stable To unsubscribe, send any mail to "[email protected]"
