nuttx/tools/pic32mx
..
Makefile
mkpichex.c