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_MACH_ADSSPHERE) += adssphere.o 10obj-$(CONFIG_MACH_EDB93XX) += edb93xx.o 11obj-$(CONFIG_MACH_GESBC9312) += gesbc9312.o 12obj-$(CONFIG_MACH_MICRO9) += micro9.o 13obj-$(CONFIG_MACH_SIM_ONE) += simone.o 14obj-$(CONFIG_MACH_SNAPPER_CL15) += snappercl15.o 15obj-$(CONFIG_MACH_TS72XX) += ts72xx.o 16obj-$(CONFIG_MACH_VISION_EP9307)+= vision_ep9307.o 17