linux/kernel26/arch/mips/sgi-ip32
