acrn-kernel/arch/powerpc/platforms/40x
..
Kconfig
Makefile
ppc40x_simple.c