1# SPDX-License-Identifier: GPL-2.0
2#
3# Makefile for the linux kernel.
4#
5obj-y			:= core.o clock.o timer-ep93xx.o
6
7obj-$(CONFIG_EP93XX_DMA)	+= dma.o
8
9obj-$(CONFIG_CRUNCH)		+= crunch.o crunch-bits.o
10AFLAGS_crunch-bits.o		:= -Wa,-mcpu=ep9312
11
12obj-$(CONFIG_MACH_ADSSPHERE)	+= adssphere.o
13obj-$(CONFIG_MACH_EDB93XX)	+= edb93xx.o
14obj-$(CONFIG_MACH_GESBC9312)	+= gesbc9312.o
15obj-$(CONFIG_MACH_MICRO9)	+= micro9.o
16obj-$(CONFIG_MACH_SIM_ONE)	+= simone.o
17obj-$(CONFIG_MACH_SNAPPER_CL15)	+= snappercl15.o
18obj-$(CONFIG_MACH_TS72XX)	+= ts72xx.o
19obj-$(CONFIG_MACH_VISION_EP9307)+= vision_ep9307.o
20