Booting FreeBSD from Windows 10 IoT Core EFI?

[John Connett]

Windows 10 IoT Core on Raspberry Pi 3 (and Dragonboard 410c) appears to
boot using EFI.  The following link demonstrates that a faulty boot can
result in an EFI start prompt:

https://social.msdn.microsoft.com/Forums/en-US/426f4537-59c3-4fe1-9f09-2647a9c8b71d/raspberry-pi-3-booting-to-efi-screen

Has anyone tried booting FreeBSD using this version of EFI?  I suspect
it originates from Broadcom and is probably licensed for use on their
devices.  Might be an alternative to the "u-boot efi option" mentioned
on a thread in this list last month.

I have both a Raspberry Pi 3 and Dragonboard 410c on which I could
experiment if someone could give me pointer on where to start.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 313 bytes
Desc: OpenPGP digital signature
URL: <http://lists.freebsd.org/pipermail/freebsd-arm/attachments/20161126/d9757788/attachment.sig>