#
# Makefile for the linux kernel.
#

obj-y := evtchn.o gnttab.o reboot.o machine_reboot.o fallback.o

obj-$(CONFIG_XEN_PRIVILEGED_GUEST) += firmware.o pcpu.o
obj-$(CONFIG_PROC_FS)		+= xen_proc.o
obj-$(CONFIG_HOTPLUG_CPU)	+= cpu_hotplug.o
obj-$(CONFIG_XEN_SMPBOOT)	+= smpboot.o
obj-$(CONFIG_SMP)		+= spinlock.o
obj-$(CONFIG_KEXEC)		+= machine_kexec.o
obj-$(CONFIG_GENERIC_CLOCKEVENTS) += clockevents.o
obj-$(CONFIG_XEN_DOMCTL)	+= domctl.o
CFLAGS_domctl.o			:= -D__XEN_PUBLIC_XEN_H__
CFLAGS_domctl.o			+= -D__XEN_PUBLIC_GRANT_TABLE_H__
CFLAGS_domctl.o			+= -D__XEN_PUBLIC_MEMORY_H__
CFLAGS_domctl.o			+= -D__XEN_TOOLS__
CFLAGS_domctl.o			+= -imacros xen/interface/domctl.h
CFLAGS_domctl.o			+= -imacros xen/interface/sysctl.h
