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