## Makefile for the linux kernel.#obj-y:=core.oclock.o
obj-m:=obj-n:=obj-:=obj-$(CONFIG_MACH_EDB9302)+=edb9302.o
obj-$(CONFIG_MACH_EDB9312)+=edb9312.o
obj-$(CONFIG_MACH_EDB9315)+=edb9315.o
obj-$(CONFIG_MACH_EDB9315A)+=edb9315a.o
obj-$(CONFIG_MACH_GESBC9312)+=gesbc9312.o
obj-$(CONFIG_MACH_TS72XX)+=ts72xx.o