2 # Makefile for the linux kernel.
4 obj-y := core.o clock.o
9 obj-$(CONFIG_MACH_EDB9302) += edb9302.o
10 obj-$(CONFIG_MACH_EDB9312) += edb9312.o
11 obj-$(CONFIG_MACH_EDB9315) += edb9315.o
12 obj-$(CONFIG_MACH_EDB9315A) += edb9315a.o
13 obj-$(CONFIG_MACH_GESBC9312) += gesbc9312.o
14 obj-$(CONFIG_MACH_TS72XX) += ts72xx.o