original_kernel/arch/mips/philips/pnx8550/jbs
..
Makefile
board_setup.c
init.c
irqmap.c