drivers/xen/core/Makefile

   1 #
   2 # Makefile for the linux kernel.
   3 #
   4
   5 obj-y := evtchn.o gnttab.o reboot.o machine_reboot.o
   6
   7 obj-$(CONFIG_XEN_PRIVILEGED_GUEST) += firmware.o pcpu.o
   8 obj-$(CONFIG_PROC_FS)           += xen_proc.o
   9 obj-$(CONFIG_HOTPLUG_CPU)       += cpu_hotplug.o
  10 obj-$(CONFIG_XEN_SMPBOOT)       += smpboot.o
  11 obj-$(CONFIG_SMP)               += spinlock.o
  12 obj-$(CONFIG_KEXEC)             += machine_kexec.o
  13 obj-$(CONFIG_GENERIC_CLOCKEVENTS) += clockevents.o
  14 obj-$(CONFIG_XEN_DOMCTL)        += domctl.o
  15 CFLAGS_domctl.o                 := -D__XEN_PUBLIC_XEN_H__ -D__XEN_PUBLIC_GRANT_TABLE_H__
  16 CFLAGS_domctl.o                 += -D__XEN_TOOLS__ -imacros xen/interface/domctl.h -imacros xen/interface/sysctl.h