/boot/loader.efi and buildkernel

[O. Hartmann]

Modules and kernel are built when running "make buildkernel", but the other contents
of /boot/ aren't. How can I manually - and separately - build the loader,
especially /boot/loader.efi?

I realized that building loader.efi with any kind of optimization beyond debugging- or
close-to-debugging level ends up in an unloadable loader.efi on Haswell CPUs (IvyBridge
and C2D seem to be unaffected). The system in question is the most recent CURRENT,
compiled with system's CLANG 3.4.1.

Regards,
Oliver
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: not available
URL: <http://lists.freebsd.org/pipermail/freebsd-current/attachments/20140923/5ff2468e/attachment.sig>