PIC32MXのフラッシュが512KBのこんな実装基盤もあるな
価格は700円

http://akizukidenshi.com/catalog/g/gM-12417/

PIC32MXはM4KコアでmicroMIPSは使えないけど、どうせ趣味なんだからいいよな
安いPIC32MMはmicroAptivなのでmicroMIPSが使える
どっちにしろ有償コンパイラ使わないとmicroMIPSは使えないけどね