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