#
  # 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