# SPDX-License-Identifier: GPL-2.0-only
#
# Makefile for the linux kernel.
#

# Common support
obj-y				:= common.o efuse.o slcr.o zynq_ocm.o pm.o

obj-$(CONFIG_SMP)		+= headsmp.o platsmp.o
obj-$(CONFIG_SUSPEND)	+= suspend.o
AFLAGS_suspend.o		+=-Wa,-march=armv7-a
