# SPDX-License-Identifier: GPL-2.0 obj-y += setup.o mm.o time.o hvcall.o htab.o repository.o obj-y += interrupt.o exports.o os-area.o obj-y += system-bus.o obj-$([31mCONFIG_PS3GELIC_UDBG[0m) += gelic_udbg.o obj-$([31mCONFIG_SMP[0m) += smp.o obj-$([31mCONFIG_SPU_BASE[0m) += spu.o obj-y += device-init.o |