#
# Makefile for the linux kernel.
#

XENARCH	:= $(subst ",,$(CONFIG_XENARCH))

CPPFLAGS_vmlinux.lds += -U$(XENARCH)

$(obj)/vmlinux.lds.S:
	@ln -fsn $(srctree)/arch/$(XENARCH)/kernel/vmlinux.lds.S $@


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

ifeq ($(ARCH),ia64)
obj-y   += evtchn_ia64.o
obj-y   += xenia64_init.o
else
extra-y += vmlinux.lds
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
