1 # SPDX-License-Identifier: GPL-2.0
2 # arch/arm/mach-ks8695/Makefile
4 # Makefile for KS8695 architecture support
7 obj-y
:= cpu.o irq.o time.o devices.o
9 # PCI support is optional
10 obj-
$(CONFIG_PCI
) += pci.o
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
