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