1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for the linux kernel.
7 obj-
$(CONFIG_SMP
) += headsmp.o platsmp.o
8 obj-
$(CONFIG_SOCFPGA_SUSPEND
) += pm.o self-refresh.o
9 obj-
$(CONFIG_EDAC_ALTERA_L2C
) += l2_cache.o
10 obj-
$(CONFIG_EDAC_ALTERA_OCRAM
) += ocram.o
