2 # Makefile for the linux kernel.
5 XENARCH := $(subst ",,$(CONFIG_XENARCH))
7 CPPFLAGS_vmlinux.lds += -U$(XENARCH)
10 @ln -fsn $(srctree)/arch/$(XENARCH)/kernel/vmlinux.lds.S $@
12 extra-y += vmlinux.lds
14 obj-y := ctrl_if.o evtchn.o fixup.o reboot.o gnttab.o devmem.o
16 obj-$(CONFIG_PROC_FS) += xen_proc.o
17 obj-$(CONFIG_NET) += skbuff.o
18 obj-$(CONFIG_SMP) += smp.o