#
  # Makefile for the linux kernel.
  #
  
  obj-y					:= core.o
  obj-$(CONFIG_ARCH_VERSATILE_PB)		+= versatile_pb.o
  obj-$(CONFIG_MACH_VERSATILE_AB)		+= versatile_ab.o
  obj-$(CONFIG_MACH_VERSATILE_DT)		+= versatile_dt.o
  obj-$(CONFIG_PCI)			+= pci.o