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