But is it available without publicly without signing an NDA / jumping through hoops? Would love to get this working on as a small debian box.
Everything should be on https://github.com/mips. Please have a quick look and tell me if there is something missing that you'd like to see.
Why the choice to go with a locked down GPU? Apart from openness concerns what about people who don't want to use Linux? Folks who write their own OS or use it bare-metal? This is a real downside to the RPi right now.
I've been wanting to do stuff with MIPS instead of ARM, but this board won't be it.