original_kernel/arch/ppc64
..
boot
configs
kernel
Kconfig.debug
Makefile
defconfig