1 # SPDX-License-Identifier: GPL-2.0-only
2 ccflags-
$(CONFIG_ARCH_MULTIPLATFORM
) := -I
$(srctree
)/$(src
)/include
4 obj-
$(CONFIG_PLAT_VERSATILE_SCHED_CLOCK
) += sched-clock.o
5 obj-
$(CONFIG_SMP
) += headsmp.o platsmp.o
6 obj-
$(CONFIG_HOTPLUG_CPU
) += hotplug.o
