|  | # 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 |