2 # Makefile for the linux kernel.
12 obj-
$(CONFIG_ARCH_AUTCPU12
) += board-autcpu12.o
13 obj-
$(CONFIG_ARCH_CDB89712
) += board-cdb89712.o
14 obj-
$(CONFIG_ARCH_CLEP7312
) += board-clep7312.o
15 obj-
$(CONFIG_ARCH_EDB7211
) += board-edb7211.o
16 obj-
$(CONFIG_ARCH_FORTUNET
) += board-fortunet.o
17 obj-
$(CONFIG_ARCH_P720T
) += board-p720t.o