linux/kernel/arch/mips/philips/nino
