/arch/powerpc/platforms/40x/

• ../
• Kconfig
• Makefile
• ppc40x_simple.c