18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ciobj-$(CONFIG_SMP) += platsmp.o 38c2ecf20Sopenharmony_ciobj-$(CONFIG_ARCH_STI) += board-dt.o 4
18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ciobj-$(CONFIG_SMP) += platsmp.o 38c2ecf20Sopenharmony_ciobj-$(CONFIG_ARCH_STI) += board-dt.o 4