1# SPDX-License-Identifier: GPL-2.0 2# 3# Copyright (c) 2010-2011 Samsung Electronics Co., Ltd. 4# http://www.samsung.com/ 5 6ccflags-$(CONFIG_ARCH_MULTIPLATFORM) += -I$(srctree)/$(src)/include -I$(srctree)/arch/arm/plat-samsung/include 7 8# Core 9 10obj-$(CONFIG_ARCH_EXYNOS) += exynos.o exynos-smc.o firmware.o 11 12obj-$(CONFIG_EXYNOS_CPU_SUSPEND) += pm.o sleep.o 13obj-$(CONFIG_PM_SLEEP) += suspend.o 14 15obj-$(CONFIG_SMP) += platsmp.o headsmp.o 16 17plus_sec := $(call as-instr,.arch_extension sec,+sec) 18AFLAGS_exynos-smc.o :=-Wa,-march=armv7-a$(plus_sec) 19AFLAGS_sleep.o :=-Wa,-march=armv7-a$(plus_sec) 20 21obj-$(CONFIG_EXYNOS5420_MCPM) += mcpm-exynos.o 22CFLAGS_mcpm-exynos.o += -march=armv7-a 23