arch/arm/mach-ks8695/Makefile

   1 # SPDX-License-Identifier: GPL-2.0
   2 # arch/arm/mach-ks8695/Makefile
   3 #
   4 # Makefile for KS8695 architecture support
   5 #
   6
   7 obj-y                           := cpu.o irq.o time.o devices.o
   8
   9 # PCI support is optional
  10 obj-$(CONFIG_PCI)               += pci.o
  11
  12 # Board-specific support
  13 obj-$(CONFIG_MACH_KS8695)       += board-micrel.o
  14 obj-$(CONFIG_MACH_DSM320)       += board-dsm320.o
  15 obj-$(CONFIG_MACH_ACS5K)        += board-acs5k.o
  16 obj-$(CONFIG_MACH_LITE300)      += board-sg.o
  17 obj-$(CONFIG_MACH_SG310)        += board-sg.o
  18 obj-$(CONFIG_MACH_SE4200)       += board-sg.o
  19 obj-$(CONFIG_MACH_CM4002)       += board-og.o
  20 obj-$(CONFIG_MACH_CM4008)       += board-og.o
  21 obj-$(CONFIG_MACH_CM41xx)       += board-og.o
  22 obj-$(CONFIG_MACH_IM4004)       += board-og.o
  23 obj-$(CONFIG_MACH_IM42xx)       += board-og.o