# SPDX-License-Identifier: GPL-2.0 # # Copyright (c) 2010-2011 Samsung Electronics Co., Ltd. # http://www.samsung.com/ ccflags-$([31mCONFIG_ARCH_MULTIPLATFORM[0m) += -I$(srctree)/$(src)/include -I$(srctree)/arch/arm/plat-samsung/include # Core obj-$([31mCONFIG_ARCH_EXYNOS[0m) += exynos.o exynos-smc.o firmware.o obj-$([31mCONFIG_EXYNOS_CPU_SUSPEND[0m) += pm.o sleep.o obj-$([31mCONFIG_PM_SLEEP[0m) += suspend.o obj-$([31mCONFIG_SMP[0m) += platsmp.o headsmp.o obj-$([31mCONFIG_EXYNOS_MCPM[0m) += mcpm-exynos.o CFLAGS_mcpm-exynos.o += -march=armv7-a |