original_kernel/arch/mips/wrppmc
..
Makefile
Platform
irq.c
pci.c
reset.c
serial.c
setup.c
time.c