nuttx/boards/risc-v/bl808/ox64/configs/timer
..
defconfig