1 # SPDX-License-Identifier: GPL-2.0
3 # Copyright (c) 2010-2011 Samsung Electronics Co., Ltd.
4 # http://www.samsung.com/
6 ccflags-
$(CONFIG_ARCH_MULTIPLATFORM
) += -I
$(srctree
)/$(src
)/include -I
$(srctree
)/arch
/arm
/plat-samsung
/include
10 obj-
$(CONFIG_ARCH_EXYNOS
) += exynos.o exynos-smc.o firmware.o
12 obj-
$(CONFIG_EXYNOS_CPU_SUSPEND
) += pm.o sleep.o
13 obj-
$(CONFIG_PM_SLEEP
) += suspend.o
15 obj-
$(CONFIG_SMP
) += platsmp.o headsmp.o
17 plus_sec
:= $(call as-instr
,.arch_extension sec
,+sec
)
18 AFLAGS_exynos-smc.o
:=-Wa
,-march
=armv7-a
$(plus_sec
)
19 AFLAGS_sleep.o
:=-Wa
,-march
=armv7-a
$(plus_sec
)
21 obj-
$(CONFIG_EXYNOS5420_MCPM
) += mcpm-exynos.o
22 CFLAGS_mcpm-exynos.o
+= -march
=armv7-a
