166314223SDinh Nguyen# 266314223SDinh Nguyen# Makefile for the linux kernel. 366314223SDinh Nguyen# 466314223SDinh Nguyen 566314223SDinh Nguyenobj-y := socfpga.o 6*9c4566a1SDinh Nguyenobj-$(CONFIG_SMP) += headsmp.o platsmp.o 7