original_kernel/arch/powerpc/platforms/microwatt
..
Kconfig
Makefile
microwatt.h
rng.c
setup.c