# SPDX-License-Identifier: GPL-2.0-only
ccflags-$([31mCONFIG_ARCH_MULTIPLATFORM[0m) := -I$(srctree)/$(src)/include
obj-$([31mCONFIG_PLAT_VERSATILE_SCHED_CLOCK[0m) += sched-clock.o
obj-$([31mCONFIG_SMP[0m) += headsmp.o platsmp.o
obj-$([31mCONFIG_HOTPLUG_CPU[0m) += hotplug.o