> --- xen-subarch-2.6.orig/arch/i386/kernel/Makefile > +++ xen-subarch-2.6/arch/i386/kernel/Makefile > @@ -9,8 +9,11 @@ obj-y := process.o semaphore.o signal.o > pci-dma.o i386_ksyms.o i387.o dmi_scan.o bootflag.o \ > quirks.o i8237.o topology.o > > +timers-y := timers/ > +timers-$(CONFIG_XEN) := > + You need to disable CONFIG_HPET_TIMER for CONFIG_XEN, otherwise select_timer is undefined since you don't include timers here. Eli
