gumiさんで半田付けする可能性があったのでATNDで表明しました。
CTOの堀内さまから許可をいただきました。ありがとうございます。
いろいろと用意しました。
PIC32 Starter Kit(http://www.microchip.com/stellent/idcplg?IdcService=SS_GET_PAGE&nodeId=2615&dDocName=en532453)
PIC32 by オプティマイズ(http://optimize.ath.cx/pic32/index.html)
mikroMMB for PIC32 Board(http://www.mikroe.com/eng/products/view/595/mikrommb-for-pic32-board/)
自作PIC32基板
しかし、コンパイルは通るがリンクの時に64KB制限がどうこうという問題が解決できずポーティングはペンディングとなりました。