/kernel/arch/mips/pistachio/

• ../
• Makefile
• Platform
• init.c
• irq.c
• time.c