# SPDX-License-Identifier: GPL-2.0 # # Makefile for the linux kernel. # obj-y := core.o clock.o timer-ep93xx.o obj-$([31mCONFIG_EP93XX_DMA[0m) += dma.o obj-$([31mCONFIG_CRUNCH[0m) += crunch.o crunch-bits.o AFLAGS_crunch-bits.o := -Wa,-mcpu=ep9312 obj-$([31mCONFIG_MACH_ADSSPHERE[0m) += adssphere.o obj-$([31mCONFIG_MACH_EDB93XX[0m) += edb93xx.o obj-$([31mCONFIG_MACH_GESBC9312[0m) += gesbc9312.o obj-$([31mCONFIG_MACH_MICRO9[0m) += micro9.o obj-$([31mCONFIG_MACH_SIM_ONE[0m) += simone.o obj-$([31mCONFIG_MACH_SNAPPER_CL15[0m) += snappercl15.o obj-$([31mCONFIG_MACH_TS72XX[0m) += ts72xx.o obj-$([31mCONFIG_MACH_VISION_EP9307[0m)+= vision_ep9307.o |