18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci# 38c2ecf20Sopenharmony_ci# Copyright (c) 2010-2011 Samsung Electronics Co., Ltd. 48c2ecf20Sopenharmony_ci# http://www.samsung.com/ 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ciobj-$(CONFIG_ARCH_EXYNOS) += exynos.o exynos-smc.o firmware.o 78c2ecf20Sopenharmony_ci 88c2ecf20Sopenharmony_ciobj-$(CONFIG_EXYNOS_CPU_SUSPEND) += pm.o sleep.o 98c2ecf20Sopenharmony_ciobj-$(CONFIG_PM_SLEEP) += suspend.o 108c2ecf20Sopenharmony_ci 118c2ecf20Sopenharmony_ciobj-$(CONFIG_SMP) += platsmp.o headsmp.o 128c2ecf20Sopenharmony_ci 138c2ecf20Sopenharmony_ciobj-$(CONFIG_EXYNOS_MCPM) += mcpm-exynos.o 148c2ecf20Sopenharmony_ciCFLAGS_mcpm-exynos.o += -march=armv7-a 15