nuttx/configs/dummy/dummy_kconfig