On Thu, 15 Feb 2007 18:25:06 -0800 Jeremy Fitzhardinge <jeremy at goop.org> wrote: > =================================================================== > --- a/arch/i386/kernel/early_printk.c > +++ b/arch/i386/kernel/early_printk.c > @@ -1,2 +1,4 @@ > > +#ifndef CONFIG_XEN > #include "../../x86_64/kernel/early_printk.c" > +#endif > =================================================================== This can be done in Kconfig: disable CONFIG_EARLY_PRINTK if CONFIG_XEN.