incubator-nuttx/boards/arm/nrf52/nrf52832-dk/configs/timer
..
defconfig