18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ciobj-y += setup.o mm.o time.o hvcall.o htab.o repository.o 38c2ecf20Sopenharmony_ciobj-y += interrupt.o exports.o os-area.o 48c2ecf20Sopenharmony_ciobj-y += system-bus.o 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ciobj-$(CONFIG_PS3GELIC_UDBG) += gelic_udbg.o 78c2ecf20Sopenharmony_ciobj-$(CONFIG_SMP) += smp.o 88c2ecf20Sopenharmony_ciobj-$(CONFIG_SPU_BASE) += spu.o 98c2ecf20Sopenharmony_ciobj-y += device-init.o 10