1 # SPDX-License-Identifier: GPL-2.0 2 # 3 # Makefile for the linux kernel. 4 # 5 obj-y := core.o clock.o timer-ep93xx.o 6 7 obj-$(CONFIG_EP93XX_DMA) += dma.o 8 9 obj-$(CONFIG_MACH_EDB93XX) += edb93xx.o 10 obj-$(CONFIG_MACH_TS72XX) += ts72xx.o 11 obj-$(CONFIG_MACH_VISION_EP9307)+= vision_ep9307.o 12