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