Hi Brian, > #include <efi.h> > #include <efilib.h> Umm - I do not have these headers... Can you make an even simpler test case without any headers or maybe just send the assembler output of gcc having compiled the test case ? Cheers Nick