# SPDX-License-Identifier: GPL-2.0
# arch/arm/mach-ks8695/Makefile
#
# Makefile for KS8695 architecture support
#

obj-y				:= cpu.o irq.o time.o devices.o

# PCI support is optional
obj-$(CONFIG_PCI)		+= pci.o

# Board-specific support
obj-$(CONFIG_MACH_KS8695)	+= board-micrel.o
obj-$(CONFIG_MACH_DSM320)	+= board-dsm320.o
obj-$(CONFIG_MACH_ACS5K)	+= board-acs5k.o
obj-$(CONFIG_MACH_LITE300)	+= board-sg.o
obj-$(CONFIG_MACH_SG310)	+= board-sg.o
obj-$(CONFIG_MACH_SE4200)	+= board-sg.o
obj-$(CONFIG_MACH_CM4002)	+= board-og.o
obj-$(CONFIG_MACH_CM4008)	+= board-og.o
obj-$(CONFIG_MACH_CM41xx)	+= board-og.o
obj-$(CONFIG_MACH_IM4004)	+= board-og.o
obj-$(CONFIG_MACH_IM42xx)	+= board-og.o