nuttx/boards/arm/dk-tm4c129x/configs/ipv6
..
defconfig