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