Hi, Greg, may I ask where you find the right mips gcc toolchain? I haven't found an official prebuilt mips gcc toolchain yet(mips.com connect failed here). Or build it from source code.
I was talking with Abdelatif about this a few days ago. He is the MIPS/PIC32 expert on the team. We are both using the Pinguino toolchain but that is getting old and does not appear to be supported any more. So I don't think there a future with those tools.
I think that Abdelatif and I both agreed that using the NuttX buildroot MIPS toolchain is the best option. https://bitbucket.org/nuttx/buildroot/src/master/ it does support MIPs tool builds with current GCC but would probably need some verification. I don't see any existing MIPs configurations.
Greg