Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / arm / mach-socfpga / Makefile
1 #
2 # Makefile for the linux kernel.
3 #
4
5 obj-y                                   := socfpga.o
6 obj-$(CONFIG_SMP)       += headsmp.o platsmp.o