if PLATFORM_NUTTX
rsource "nuttx/Kconfig"
endif