original_kernel/arch/powerpc/platforms/40x
..
Kconfig
Makefile
ep405.c
kilauea.c
makalu.c
virtex.c
walnut.c