nuttx/configs/sam4e-ek/tools/gdb.ini