/nuttx/configs/pic32-starterkit/tools/
../
Makefile
mkpichex.c