Windows 10 IoT Core on Dragonboard 410c (and Raspberry Pi 3) appears to boot using EFI. There is a possibility that this EFI could be used to boot other operating systems (eg. FreeBSD https://wiki.freebsd.org/arm64).
Can anyone point me to further information on this EFI implementation?
I’ve asked a similar question on the FreeBSD-ARM mailing list: https://lists.freebsd.org/pipermail/freebsd-arm/2016-November/015079.html