original_kernel/arch/mips/pistachio
..
Kconfig
Makefile
Platform
init.c
irq.c
time.c