On Tue, Dec 17, 2013 at 12:10:24PM +0000, Matt Fleming wrote: > You sunk my i386 battleship, > > /home/build/git/efi/arch/x86/platform/efi/efi.c:824:24: error: ‘struct real_mode_header’ has no member named ‘trampoline_pgd’ > make[4]: *** [arch/x86/platform/efi/efi.o] Error 1 > make[3]: *** [arch/x86/platform/efi] Error 2 Right, this is a recurring issue with the trampoline_pgd. What do you prefer: an #ifdef CONFIG_X86_64 or a separate function in efi_$(BITS).c? -- Regards/Gruss, Boris. Sent from a fat crate under my desk. Formatting is fine. -- -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html