I was trying to generate an early_printk.i and it wasn't obvious how. Don't use a makefile trick - just #include the x86_64 file. --- arch/i386/kernel/Makefile | 2 -- arch/i386/kernel/early_printk.c | 2 ++ 2 files changed, 2 insertions(+), 2 deletions(-) diff -puN arch/i386/kernel/Makefile~early_printk-use-include arch/i386/kernel/Makefile --- 25/arch/i386/kernel/Makefile~early_printk-use-include 2004-02-08 14:31:05.000000000 -0800 +++ 25-akpm/arch/i386/kernel/Makefile 2004-02-08 14:31:31.000000000 -0800 @@ -34,8 +34,6 @@ obj-$(CONFIG_HPET_TIMER) += time_hpet.o obj-$(CONFIG_EFI) += efi.o efi_stub.o obj-$(CONFIG_EARLY_PRINTK) += early_printk.o -early_printk-y := ../../x86_64/kernel/early_printk.o - EXTRA_AFLAGS := -traditional obj-$(CONFIG_SCx200) += scx200.o diff -puN /dev/null arch/i386/kernel/early_printk.c --- /dev/null 2002-08-30 16:31:37.000000000 -0700 +++ 25-akpm/arch/i386/kernel/early_printk.c 2004-02-08 14:31:46.000000000 -0800 @@ -0,0 +1,2 @@ + +#include "../../x86_64/kernel/early_printk.c" _