#
# Makefile for the linux kernel.
#

# Object file lists.

obj-y				:= common.o devices.o

obj-$(CONFIG_ARCH_AUTCPU12)	+= board-autcpu12.o
obj-$(CONFIG_ARCH_CDB89712)	+= board-cdb89712.o
obj-$(CONFIG_ARCH_CLEP7312)	+= board-clep7312.o
obj-$(CONFIG_ARCH_EDB7211)	+= board-edb7211.o
obj-$(CONFIG_ARCH_P720T)	+= board-p720t.o
