nuttx/boards/arm/sam34/sam4e-ek/tools
..
gdb.ini
openocd.cfg