nuttx/configs/sam4e-ek/tools
…
..
gdb.ini
openocd.cfg