18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only
28c2ecf20Sopenharmony_ciobj-y := setup.o irq.o time.o
38c2ecf20Sopenharmony_ci
48c2ecf20Sopenharmony_ciobj-$(CONFIG_SMP)			+= smp.o
5