it's more efficent to generate the machine code directly if possible Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>
nRF52840-DK =========== README for NuttX port to NRF52840-DK (PCA10056) boards. Status ====== Only the basic NSH configuration is supported for now.