/nuttx/configs/ne64badge/include/
../
board.h