ccflags-$(CONFIG_DEBUG_DRIVER)	:= -DDEBUG
  obj-y				+= core.o cpu.o domain.o
  obj-$(CONFIG_DEBUG_FS)		+= debugfs.o