/nuttx/configs/sure-pic32mx/tools/
../
Makefile
mkpichex.c