nuttx/boards/arm/tiva/dk-tm4c129x/configs
..
ipv6
nsh