blob: 439b22255a3274a9967039b0a186b485d363c0ff [file] [log] [blame]
rjw1f884582022-01-06 17:20:42 +08001# 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