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