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
