18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci# 38c2ecf20Sopenharmony_ci# Makefile for the linux kernel. 48c2ecf20Sopenharmony_ci# 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ciobj-y := socfpga.o 78c2ecf20Sopenharmony_ciobj-$(CONFIG_SMP) += headsmp.o platsmp.o 88c2ecf20Sopenharmony_ciobj-$(CONFIG_SOCFPGA_SUSPEND) += pm.o self-refresh.o 98c2ecf20Sopenharmony_ciobj-$(CONFIG_EDAC_ALTERA_L2C) += l2_cache.o 108c2ecf20Sopenharmony_ciobj-$(CONFIG_EDAC_ALTERA_OCRAM) += ocram.o 11