incubator-nuttx/configs/or1k/include
..
board.h