original_kernel/arch/mips/xilfpga
..
Kconfig
Makefile
Platform
init.c
intc.c
time.c