incubator-nuttx/configs/nr5m100-nexys4/Kconfig