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