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