original_kernel/arch/powerpc/platforms/ps3
..
Kconfig
Makefile
device-init.c
exports.c
htab.c
hvcall.S
interrupt.c
mm.c
os-area.c
platform.h
repository.c
setup.c
smp.c
spu.c
system-bus.c
time.c