/kernel/arch/mips/sibyte/bcm1480/

• ../
• Makefile
• irq.c
• setup.c
• smp.c
• time.c