1# 2# Makefile for the linux kernel. 3# 4 5obj-y := socfpga.o 6obj-$(CONFIG_SMP) += headsmp.o platsmp.o 7