18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ciobj-$(CONFIG_SMP) += platsmp.o headsmp.o 3
18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ciobj-$(CONFIG_SMP) += platsmp.o headsmp.o 3