incubator-nuttx/boards/hc/m9s12/ne64badge/include
..
board.h