incubator-nuttx/Documentation/platforms/mips/pic32mx
..
boards
index.rst