nuttx/boards/arm/nrf52/nrf52840-dk/configs/ostest_tickless
..
defconfig