1# SPDX-License-Identifier: GPL-2.0 2# 3# Copyright (c) 2010-2011 Samsung Electronics Co., Ltd. 4# http://www.samsung.com/ 5 6obj-$(CONFIG_ARCH_EXYNOS) += exynos.o exynos-smc.o firmware.o 7 8obj-$(CONFIG_EXYNOS_CPU_SUSPEND) += pm.o sleep.o 9obj-$(CONFIG_PM_SLEEP) += suspend.o 10 11obj-$(CONFIG_SMP) += platsmp.o headsmp.o 12 13obj-$(CONFIG_EXYNOS_MCPM) += mcpm-exynos.o 14CFLAGS_mcpm-exynos.o += -march=armv7-a 15