1347863d4SKrzysztof Kozlowski# SPDX-License-Identifier: GPL-2.0 283014579SKukjin Kim# 383014579SKukjin Kim# Copyright (c) 2010-2011 Samsung Electronics Co., Ltd. 483014579SKukjin Kim# http://www.samsung.com/ 583014579SKukjin Kim 6bfce552dSPankaj Dubeyobj-$(CONFIG_ARCH_EXYNOS) += exynos.o exynos-smc.o firmware.o 7cc511b8dSKukjin Kim 803c1b760SArnd Bergmannobj-$(CONFIG_EXYNOS_CPU_SUSPEND) += pm.o sleep.o 90d713cf1SBartlomiej Zolnierkiewiczobj-$(CONFIG_PM_SLEEP) += suspend.o 1083014579SKukjin Kim 1183014579SKukjin Kimobj-$(CONFIG_SMP) += platsmp.o headsmp.o 1283014579SKukjin Kim 1324d2c73fSArnd Bergmannobj-$(CONFIG_EXYNOS_MCPM) += mcpm-exynos.o 144081503bSAbhilash KesavanCFLAGS_mcpm-exynos.o += -march=armv7-a 15