18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0
28c2ecf20Sopenharmony_ciobj-y					:= keystone.o smc.o
38c2ecf20Sopenharmony_ci
48c2ecf20Sopenharmony_ciobj-$(CONFIG_SMP)			+= platsmp.o
58c2ecf20Sopenharmony_ci
68c2ecf20Sopenharmony_ci# PM domain driver for Keystone SOCs
78c2ecf20Sopenharmony_ciobj-$(CONFIG_ARCH_KEYSTONE)		+= pm_domain.o
8