nuttx/boards/arm/tiva/tm4c1294-launchpad/configs/ipv6
..
defconfig sched/wdog: Change the default value of MAX_WDOGPARMS from 4 to 2 2020-08-06 10:36:22 -06:00