#
# 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