nuttx/Documentation/platforms/mips/pic32mx
..
index.rst