Enable SMP for the SOCFPGA platform.
Signed-off-by: Pavel Machek Signed-off-by: Dinh Nguyen Reviewed-by: Rob Herring Signed-off-by: Arnd Bergmann
# # Makefile for the linux kernel. # obj-y := socfpga.o obj-$(CONFIG_SMP) += headsmp.o platsmp.o
