Thanks for your replies. I should give it another go and see where I get, at least to achieve UEFI application compilation with
UDK2010 or
UDK2014 (stable releases of the UEFI Development Kit, validated by
Intel) and GCC 4.4 or GCC 4.8 respectively on FreeBSD rather than Ubuntu. If I have better success it should be possible to create ports, though I was hoping someone else might already have done the hard work
It's not necessary to have a UEFI capable system in order to do UEFI development as
emulators/qemu can boot a UEFI BIOS image with something called
OVMF. It's not ideal, particularly for development relating to hardware. There is also something called
DUET, which is a software layer that provides UEFI services on top of hardware that doesn't support UEFI. I must admit that I have avoided it as I wanted to be debugging my own code rather than DUET's and instead bought myself a shiny new laptop with UEFI BIOS... which of course means that sometimes it is instead the laptop manufacturer's implementation that causes debugging headaches!
Contacting the FreeBSD developers working on
UEFI and
UEFI Secure Boot is a good idea as I'm sure at the very least a greater variety of hardware to test on is always welcomed. The approach taken on the latter for FreeBSD will be interesting... but that's probably a discussion for another post.