2 # Makefile for the linux kernel.
7 obj-y := common.o devices.o
9 obj-$(CONFIG_ARCH_AUTCPU12) += board-autcpu12.o
10 obj-$(CONFIG_ARCH_CDB89712) += board-cdb89712.o
11 obj-$(CONFIG_ARCH_CLEP7312) += board-clep7312.o
12 obj-$(CONFIG_ARCH_EDB7211) += board-edb7211.o
13 obj-$(CONFIG_ARCH_P720T) += board-p720t.o