linux-stable-rt/arch/mips/sgi-ip32
..
Makefile
crime.c
ip32-berr.c
ip32-irq.c
ip32-memory.c
ip32-platform.c
ip32-reset.c
ip32-setup.c