/nuttx/configs/pic32mx7mmb/tools/
../
Makefile
mkpichex.c