nuttx/configs/pcduino-a10/include
..
board.h