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