/ports_smp/mips32_interaptiv