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