#
# Makefile for the linux kernel.
#

obj-y   := gnttab.o features.o
obj-$(CONFIG_PROC_FS) += xen_proc.o

ifeq ($(ARCH),ia64)
obj-y   += evtchn.o
ifeq ($(CONFIG_XEN_IA64_DOM0_VP),y)
obj-$(CONFIG_NET)     += skbuff.o
endif
else
obj-y   += reboot.o evtchn.o fixup.o 
obj-$(CONFIG_SMP)     += smp.o		# setup_profiling_timer def'd in ia64
obj-$(CONFIG_NET)     += skbuff.o	# until networking is up on ia64
endif
obj-$(CONFIG_SYSFS)   += hypervisor_sysfs.o
obj-$(CONFIG_XEN_SYSFS) += xen_sysfs.o
