162306a36Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only
262306a36Sopenharmony_ciobj-$(CONFIG_SMP)	+= platsmp.o
3