obj-$(CONFIG_X86_64)	+= kernel/
obj-$(CONFIG_X86_64)	+= scheduler/
