# 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-$(CONFIG_PS3GELIC_UDBG) += gelic_udbg.o
|
obj-$(CONFIG_SMP) += smp.o
|
obj-$(CONFIG_SPU_BASE) += spu.o
|
obj-y += device-init.o
|
