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