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