# SPDX-License-Identifier: GPL-2.0 # # Makefile for the linux kernel. # obj-y := socfpga.o obj-$([31mCONFIG_SMP[0m) += headsmp.o platsmp.o obj-$([31mCONFIG_SOCFPGA_SUSPEND[0m) += pm.o self-refresh.o obj-$([31mCONFIG_EDAC_ALTERA_L2C[0m) += l2_cache.o obj-$([31mCONFIG_EDAC_ALTERA_OCRAM[0m) += ocram.o |