so the lower half driver don't need include the specific board.h Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com> Change-Id: I2ff5c30049a5c5e8ee90baea56e9f4cb1a8a4f87
nRF52840-DK =========== README for NuttX port to NRF52840-DK (PCA10056) boards. Status ====== Only the basic NSH configuration is supported for now.