nuttx/Documentation/platforms/mips/pic32mx/boards
..
mirtoo
pic32mx7mmb
pic32mx-starterkit
sure-pic32mx
ubw32