1*4882a593Smuzhiyun# SPDX-License-Identifier: GPL-2.0 2*4882a593Smuzhiyun# 3*4882a593Smuzhiyun# Makefile for the linux kernel. 4*4882a593Smuzhiyun# 5*4882a593Smuzhiyun 6*4882a593Smuzhiyunobj-y := socfpga.o 7*4882a593Smuzhiyunobj-$(CONFIG_SMP) += headsmp.o platsmp.o 8*4882a593Smuzhiyunobj-$(CONFIG_SOCFPGA_SUSPEND) += pm.o self-refresh.o 9*4882a593Smuzhiyunobj-$(CONFIG_EDAC_ALTERA_L2C) += l2_cache.o 10*4882a593Smuzhiyunobj-$(CONFIG_EDAC_ALTERA_OCRAM) += ocram.o 11