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

 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